Encodings of problems in effectively propositional logic

• Authors:

• Juan Antonio Navarro-Pérez;Andrei Voronkov

• Affiliations:

• The University of Manchester, School of Computer Science;The University of Manchester, School of Computer Science

• Venue:
• SAT'07 Proceedings of the 10th international conference on Theory and applications of satisfiability testing
• Year:
• 2007