The following pages link to (Q5219922):
Displaying 4 items.
- Generating extended resolution proofs with a BDD-based SAT solver (Q2044191) (← links)
- Non-clausal redundancy properties (Q2055860) (← links)
- Formal Verification of Integer Multiplier Circuits Using Algebraic Reasoning: A Survey (Q5157436) (← links)
- Practical algebraic calculus and Nullstellensatz with the checkers Pacheck and Pastèque and Nuss-Checker (Q6661748) (← links)