Automatic Generation of Implied Clauses for SAT - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Lyndon Drake, Alan M. Frisch, Toby Walsh. Automatic Generation of Implied Clauses for SAT. In Pascal Van Hentenryck, editor, Principles and Practice of Constraint Programming - CP 2002, 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings. Volume 2470 of Lecture Notes in Computer Science, pages 783, Springer, 2002. [doi]

This author has not been identified. Look up 'Lyndon Drake' in GoogleThis author has not been identified. Look up 'Alan M. Frisch' in GoogleThis author has not been identified. Look up 'Toby Walsh' in Google

runs on WebDSL