New Inference Rules for Efficient Max-SAT Solving - researchr publication

researchr

You are not signed in
Sign in
Sign up

Federico Heras, Javier Larrosa. New Inference Rules for Efficient Max-SAT Solving. In Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA. pages 68-73, AAAI Press, 2006.

Abstract is missing.

runs on WebDSL