Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework

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

Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation co-located with the 42nd International Symposium on Symbolic and Algebraic Computation (ISSAC 2017), Kaiserslautern, Germany, July 29, 2017
Seite(n): 12 Seiten

Autorinnen und Autoren

Autorinnen und Autoren

Ábrahám, Erika
Nalbach, Jasper
Kremer, Gereon

Identifikationsnummern

  • URN: urn:nbn:de:0074-1974-4
  • REPORT NUMBER: RWTH-2018-01195