On the Proof Complexity of MCSAT

Kremer, Gereon (Corresponding author); Ábrahám, Erika (Corresponding author); Ganesh, Vijay (Corresponding author)

Aachen : RWTH Aachen (2019)
Contribution to a book, Contribution to a conference proceedings

In: 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
Page(s)/Article-Nr.: 10 Seiten

Identifier

Downloads