Efficient CNF Simplification Based on Binary Implication Graphs
Published in Lecture Notes in Computer Science • Jan 1, 2011
Authors:,,
Marijn J. H. Heule
Matti Järvisalo
Armin Biere
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!