Back to Results
First PageMeta Content
Theoretical computer science / Software engineering / Mathematics / Logic in computer science / NP-complete problems / Electronic design automation / Formal methods / Boolean algebra / Prolog / Logic programming / Boolean satisfiability problem / Sequent calculus


Determinism in the Certification of UNSAT Proofs Xaviera Steele Tomer Libal American University of Paris
Add to Reading List

Document Date: 2017-09-19 19:50:55


Open Document

File Size: 808,91 KB

Share Result on Facebook
UPDATE