Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Sylvain Conchon
Adding Decision Procedures to SMT Solvers Using Axioms With Triggers
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Symbolic Optimization With SMT Solvers
Reasoning About Comprehensions With First-Order SMT Solvers
Basic Logic, SMT Solvers and Finitely Generated Varieties of GBL-algebras
Extending DIVINE With Symbolic Verification Using SMT
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Representing and Solving Rule-Based Decision Models With Constraint Solvers
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Multiple Decision Sequential Procedures
A Decision-Making Procedure for Resolution-Based SAT-Solvers
Proving Non-Termination Using Max-SMT
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Providence, Foreknowledge, and Decision Procedures
Faith and Philosophy
Philosophy
Religious Studies
