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

Ábrahám, Erika (Corresponding author); Nalbach, Jasper Kurt Ferdinand; Kremer, Gereon

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

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


  • Department of Computer Science [120000]
  • Theory of Hybrid Systems Research Group [123420]