zlacker

[parent] [thread] 0 comments

1. thesz+(OP)[view] [source] 2025-04-12 10:25:52

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

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