Detecting Boolean Functions for Proving Unsatisfiability

Richard Ostrowski, Lionel Paris. Detecting Boolean Functions for Proving Unsatisfiability. In ICTAI 2009, 21st IEEE International Conference on Tools with Artificial Intelligence, Newark, New Jersey, USA, 2-4 November 2009. pages 409-416, IEEE Computer Society, 2009. [doi]

Abstract

Abstract is missing.