Hard QBF Encodings Made Easy: Dream or Reality?

AI*IA 2009: Emergent Perspectives in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-642-10291-2_4 ◽

2009 ◽

pp. 31-41

Author(s):

Luca Pulina ◽

Armando Tacchella

Download Full-text