Open AccessSC 2 : Satisfiability Checking meets Symbolic Computation (Project Paper)
Author(s) -
E Abrahá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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom