Computing prime implicants by integer programming
Published in Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence • Aug 24, 2005
Authors:
Clara Pizzuti
Abstract
An enumerative approach for selective generation of prime implicants of a theory in conjunctive normal form is presented. The method is based on 0-1 programming. Optimal solutions of the integer linear program associated with the theory correspond to prime implicants. All prime implicants can be obt...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!