Automatic Generation of Implied Clauses for SAT

• Authors:

• Lyndon Drake;Alan M. Frisch;Toby Walsh

• Affiliations:

• -;-;-

• Venue:
• CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
• Year:
• 2002