FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

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

Disclaimer | Powered by EasyChair Smart Program