Publications

PYSAT: A Python Toolkit for Prototyping with Sat Oracles

AuthID
P-00P-1ZM

Author(s)

Ignatiev, A

Morgado, A

Marques Silva, J

Editor(s)

Beyersdorff,O;Wintersteiger,CM

Document Type

Proceedings Paper

Year published

2018

Published

in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2018 in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 10929, Pages: 428-437 (10)

Conference

21St International Conference on Theory and Applications of Satisfiability Testing (Sat) Held as Part of the Federated Logic Conference (Floc), Date: JUL 06-19, 2018, Location: Univ Oxford, Oxford, ENGLAND, Sponsors: Artificial Intelligence Journal, SATALIA, Host: Univ Oxford

Indexing