Open AccessSC 2 : Satisfiability Checking meets Symbolic Computation (Project Paper)
Author(s) -
Erika Ábrahám,
John Abbott,
Bernd Becker,
Anna Maria Bigatti,
Martin Brain,
Bruno Buchberger,
Alessandro Cimatti,
James H. Davenport,
Matthew England,
Pascal Fontaine,
Stephen Forrest,
Alberto Griggio,
Daniel Kroening,
Werner M. Seiler,
Thomas Sturm
Publication year - 2016
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - satisfiability , computer science , computation , theoretical computer science , symbolic trajectory evaluation , programming language , model checking , symbolic computation , mathematics , mathematical analysis