Author:
Dietrich André,Schmidt Christopher,Enghardt Nico,Philipp Tobias
Publisher
Springer Science and Business Media LLC
Subject
General Earth and Planetary Sciences,General Engineering,General Environmental Science
Reference15 articles.
1. Mario Alviano, Carmine Dodaro, Johannes Klaus Fichte, Markus Hecher, Tobias Philipp, and Jakob Rath: Inconsistency proofs for ASP: the ASP – DRUPE format. Theory Pract. Log. Program., 19(5-6):891–907, 2019.
2. Luís Cruz-Filipe, Marijn J. H. Heule, Warren A. Hunt Jr., Matt Kaufmann, and Peter Schneider-Kamp: Efficient certified RAT verification. In: Leonardo de Moura, editor, CADE 2017, volume 10395of LNCS, pages 220–236. Springer, 2017.
3. M. Davis and H. Putnam: A computing procedure for quantification theory. Journal of the ACM (JACM), 7(3):201–215, 1960.
4. Martin Davis, George Logemann, and Donald W. Loveland: A machine program for theorem-proving. Communications of the ACM, 5(7):394–397, 1962.
5. Niklas Eén and Niklas Sörensson: An extensible sat solver. In: International Conference on Theory and Applications of Satisfiability Testing, 2003.