SC²@SYNASC

Keyphrases

Publications

volume 1804, 2017

Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), Timisoara, Romania, September 24, 2016. SC²@SYNASC 1804 (2017)

2016

James H. Davenport
What Does "Without Loss of Generality" Mean (And How Do We Detect It). SC²@SYNASC (2016)
Martin Brain, Daniel Kroening, Ryan McCleeary
Algebraic Techniques in Software Verification : Challenges and Opportunities. SC²@SYNASC (2016)
Tom Bienmüller, Tino Teige
Satisfaction Meets Practice and Confidence. SC²@SYNASC (2016)
John Abbott, Anna Maria Bigatti
CoCoA and CoCoALib: Fast Prototyping and Flexible C++ Library for Computations in Commutative Algebra. SC²@SYNASC (2016)
Matthew England, James H. Davenport
Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition. SC²@SYNASC (2016)
Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki
MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. SC²@SYNASC (2016)
Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer
Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. SC²@SYNASC (2016)