3 ms·
Take a look at Satisfaction-Driven Clause Learning [1]. [1] https://www.cs.cmu.edu/~mheule/publications/prencode.pdf https://www.cs.cmu.edu/~mheule/publication
by thesz 2y ago
Take a look at Satisfaction-Driven Clause Learning [1].
[1] https://www.cs.cmu.edu/~mheule/publications/prencode.pdf https://www.cs.cmu.edu/~mheule/publications/prencode.pdf