Back to Results
First PageMeta Content
Computational complexity theory / Conflict-driven clause learning / Drat / Exponential time hypothesis / Felgenhauer / NP-complete problems


Beyond DRAT: Challenges in Certifying UNSAT1 Bertram Felgenhauer University of Innsbruck ARCADE
Add to Reading List

Document Date: 2017-08-08 03:28:34


Open Document

File Size: 216,46 KB

Share Result on Facebook
UPDATE