Algebraic Simplification Techniques for Propositional Satisfiability
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 537-542
- https://doi.org/10.1007/3-540-45349-0_45
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Algebraic Simplification Techniques for Propositional SatisfiabilityPublished by Springer Nature ,2000