Conference: SC-square 2018 (Symbolic Computation and Satsfiability Checking 2018 (part of FLOC))

Conference: SC-square 2018 (Symbolic Computation and Satsfiability Checking 2018 (part of FLOC))

This page shows all presentations from this conference published in EasyChair Smart Slide.

Unknot Recognition Through Quantifier Elimination

Unknot Recognition Through Quantifier Elimination

Meesum Syed Mohammad and T. V. H. Prathamesh

RP: Evaluation of Equational Constraints for CAD in SMT Solving

RP: Evaluation of Equational Constraints for CAD in SMT Solving

Rebecca Haehn, Gereon Kremer and Erika Ábrahám

Towards Incremental Cylindrical Algebraic Decomposition in Maple

Towards Incremental Cylindrical Algebraic Decomposition in Maple

Alexander Imani Cowen-Rivers and Matthew England

Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics

Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics

Casey Mulligan, Russell Bradford, James H. Davenport, Matthew England and Zak Tonks

EA: Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT

EA: Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT

Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm, Van Khanh To and Xuan Tung Vu

RP: A Practical Polynomial Calculus for Arithmetic Circuit Verification

RP: A Practical Polynomial Calculus for Arithmetic Circuit Verification

Daniela Ritirc, Armin Biere and Manuel Kauers

EA: Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving

EA: Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving

Andreas Eggers, Matthias Stasch, Tino Teige, Tom Bienmüller and Udo Brockmeyer

Presentations in this collection: 7