On the Proof Complexity of MCSAT

Aachen / RWTH Aachen (2019) [Buchbeitrag, Beitrag zu einem Tagungsband]

SC-square 2019 : Satisfiability Checking and Symbolic Computation 2019 : Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry (SIAM AG 2019) : Bern, Switzerland, 10th July 2019 / Edited by John Abbott, Alberto Griggio
Seite(n): 10 Seiten

Autorinnen und Autoren

Autorinnen und Autoren

Kremer, Gereon
Ábrahám, Erika
Ganesh, Vijay

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-240067

Downloads