Comment by thesz
10 months ago
Take a look at Satisfaction-Driven Clause Learning [1].
[1] https://www.cs.cmu.edu/~mheule/publications/prencode.pdf
10 months ago
Take a look at Satisfaction-Driven Clause Learning [1].
[1] https://www.cs.cmu.edu/~mheule/publications/prencode.pdf
No comments yet
Contribute on Hacker News ↗