SC-Square@FLOC

Keyphrases

Publications

2018

Tudor Jebelean
Techniques for Natural-style Proofs in Elementary Analysis. SC-Square@FLOC (2018)
Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks
Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics. SC-Square@FLOC (2018)
Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm, To Van Khanh, Xuan-Tung Vu
Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT. SC-Square@FLOC (2018)
Jan Horácek, Martin Kreuzer
Refutation of Products of Linear Polynomials. SC-Square@FLOC (2018)
Ilias S. Kotsireas
Hard Combinatorial Problems: A Challenge for Satisfiability. SC-Square@FLOC (2018)
Syed Mohammad Meesum, T. V. H. Prathamesh
Unknot Recognition Through Quantifier Elimination. SC-Square@FLOC (2018)
Rebecca Haehn, Gereon Kremer, Erika Ábrahám
Evaluation of Equational Constraints for CAD in SMT Solving. SC-Square@FLOC (2018)
Alexander I. Cowen-Rivers, Matthew England
Towards Incremental Cylindrical Algebraic Decomposition in Maple. SC-Square@FLOC (2018)
Stephen A. Forrest
SMT-like Queries in Maple. SC-Square@FLOC (2018)
Andreas Eggers, Matthias Stasch, Tino Teige, Tom Bienmüller, Udo Brockmeyer
Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving. SC-Square@FLOC (2018)
John Abbott, Anna Maria Bigatti, Elisa Palezzato
New in CoCoA-5.2.4 and CoCoALib-0.99600 for SC-Square. SC-Square@FLOC (2018)
Daniela Ritirc, Armin Biere, Manuel Kauers
A Practical Polynomial Calculus for Arithmetic Circuit Verification. SC-Square@FLOC (2018)

volume 2189, 2018

Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, SC-Square@FLOC 2018, Oxford, UK, July 11, 2018. SC-Square@FLOC 2189 (2018)