FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

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

Disclaimer | Powered by EasyChair Smart Program