Questions tagged [unit-propagation]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
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 ...