Search results for: Cesare Tinelli
International Journal on Software Tools for Technology Transfer > 2017 > 19 > 6 > 649-652
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Session 5. Linear Arithmetic > 258-273
Lecture Notes in Computer Science > Computer Aided Verification > Session X: Constraints and Decisions > 298-302
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Invited Talks > 10-10
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 572-586
Lecture Notes in Computer Science > Automated Deduction – CADE-21 > Session 6. Satisfiability Modulo Theories > 167-182
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 512-526