Questions tagged [cdcl]
The cdcl tag has no usage guidance.
1
question
3
votes
1answer
55 views
Translating pure literal elimination into rup
I'm exploring building a CDCL SAT-solver with interesting reduction rules. I have two rules based on pure literal elimination, but if either of these rules generate a conflict, I don't know what to ...
