| CARVIEW |
Select Language
HTTP/1.1 301 Moved Permanently
Server: nginx/1.18.0 (Ubuntu)
Date: Sun, 18 Jan 2026 12:21:23 GMT
Content-Type: text/html
Content-Length: 178
Location: https://ceur-ws.org/Vol-2189/
Connection: keep-alive
HTTP/1.1 200 OK
Server: nginx/1.18.0 (Ubuntu)
Date: Sun, 18 Jan 2026 12:21:23 GMT
Content-Type: text/html; charset=utf-8
Last-Modified: Tue, 29 Nov 2022 15:47:20 GMT
Transfer-Encoding: chunked
Connection: keep-alive
ETag: W/"63862988-1c00"
Content-Encoding: gzip
CEUR-WS.org/Vol-2189 - Satisfiability Checking and Symbolic Computation (SC-Square 2018)
SC-Square 2018
Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation
Edited by
Anna M. Bigatti *
* Dipartimento di Matematica, Università degli Studi di Genova,
Genova, Italy
** Department of Computer Science, University of Oxford, Oxford, UK
Complete proceedings in one ZIP file
2018-08-29: submitted by Anna M. Bigatti, metadata incl. bibliographic data published under Creative Commons CC0
2018-08-31: published on CEUR-WS.org |valid HTML5|
SC-Square 2018
Satisfiability Checking and Symbolic Computation
Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation
co-located with Federated Logic Conference (FLOC 2018)
Oxford, UK, July 11, 2018.
Edited by
Anna M. Bigatti *
Martin Brain **
* Dipartimento di Matematica, Università degli Studi di Genova,
Genova, Italy** Department of Computer Science, University of Oxford, Oxford, UK
Table of Contents
1 - Invited Talk
-
Hard Combinatorial Problems: A Challenge for Satisfiability (invited paper)
1
Ilias Kotsireas
2 - Research Papers
-
Towards Incremental Cylindrical Algebraic Decomposition in Maple
3
Alexander Cowen-Rivers, Matthew England -
Evaluation of Equational Constraints for CAD in SMT Solving
19
Rebecca Haehn, Gereon Kremer Erika Ábrahám -
Refutation of Products of Linear Polynomials
33
Jan Horacek, Martin Kreuzer -
Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics
48
Casey Mulligan, Russell Bradford, James H. Davenport, Matthew England, Zak Tonks -
A Practical Polynomial Calculus for Arithmetic Circuit Verification
61
Daniela Ritirc, Armin Biere, Manuel Kauers -
Unknot Recognition Through Quantifier Elimination
77
Meesum Syed Mohammad, Prathamesh T. V. H.
3 - Extended Abstracts
-
New in CoCoA-5.2.4 and CoCoALib-0.99600 for SC-Square
88
John Abbott, Anna Maria Bigatti, Elisa Palezzato -
Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving
95
Andreas Eggers, Matthias Stasch, Tino Teige, Tom Bienmüller, Udo Brockmeyer -
Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT
110
Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm, Van Khanh To, Xuan Tung Vu -
SMT-like Queries in Maple
118
Stephen A. Forrest -
Techniques for Natural-style Proofs in Elementary Analysis
122
Tudor Jebelean
Complete proceedings in one ZIP file
2018-08-29: submitted by Anna M. Bigatti, metadata incl. bibliographic data published under Creative Commons CC0
2018-08-31: published on CEUR-WS.org |valid HTML5|