← Back to context

Comment by thesz

1 year ago

Take a look at Satisfaction-Driven Clause Learning [1].

[1] https://www.cs.cmu.edu/~mheule/publications/prencode.pdf

0 comments

thesz

Reply

No comments yet

Contribute on Hacker News ↗