Publications

Solving Qbf with Free Variables

AuthID
P-008-F8M

Author(s)

Klieber, W

Janota, M

Marques Silva, J

Clarke, E

Editor(s)

Schulte,C

Document Type

Proceedings Paper

Year published

2013

Published

in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2013 in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 8124, Pages: 415-431 (17)

Conference

19Th Annual International Conference on Principles and Practice of Constraint Programming (Cp), Date: SEP 16-20, 2013, Location: Uppsala, SWEDEN, Sponsors: Assoc Constraint Programming, Assoc Francaise Programmat Contraintes, AIMMS, AMPL, Artificial Intelligence, Kjell & Marta Beijers Stiftelse, Cadence, Certus, Complex Syst Technologies, FICO, IBM Res, Inst Computat Sustainabil, Jeppesen, KTH Royal Inst Technol, Microsoft Res INRIA Joint Ctr, NICTA, ONERA, QUINTIQ, SICS, SINTEF, Trade Extens, Uppsala Univ, Varldsklass Uppsala, Orebro Univ

Indexing