A RESOLUTION-BASED INTERACTIVE PROOF SYSTEM FOR UNSAT.
Saved in:
| Title: | A RESOLUTION-BASED INTERACTIVE PROOF SYSTEM FOR UNSAT. |
|---|---|
| Authors: | CZERNER, PHILIPP1, czerner@cit.tum.de, ESPARZA, JAVIER1, esparza@cit.tum.de, KRASOTIN, VALENTIN1, krasotin@cit.tum.de, KRAUSS, ADRIAN1, adrian.krauss@tum.de |
| Source: | Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 2, p1-27, 27p |
| Database: | Applied Science & Technology Source |
| ISSN: | 18605974 |
|---|---|
| DOI: | 10.46298/LMCS-22(2:17)2026 |
