History

Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 21 41 61 | next | last

Result 1 to 20 of 73 total

Beyond first-order satisfaction: fixed points, interpolants, automata and polynomials. (English)
Donaldson, Alastair (ed.) et al., Model checking software. 19th international workshop, SPIN 2012, Oxford, UK, July 23‒24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31758-3/pbk). Lecture Notes in Computer Science 7385, 1-6 (2012).
1
Real algebraic strategies for MetiTarski proofs. (English)
Jeuring, Johan (ed.) et al., Intelligent computer mathematics. 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, systems and projects, held as part of CICM 2012, Bremen, Germany, July 8‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31373-8/pbk). Lecture Notes in Computer Science 7362. Lecture Notes in Artificial Intelligence, 358-370 (2012).
2
Solving non-linear arithmetic. (English)
Gramlich, Bernhard (ed.) et al., Automated reasoning. 6th international joint conference, IJCAR 2012, Manchester, UK, June 26‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31364-6/pbk). Lecture Notes in Computer Science 7364. Lecture Notes in Artificial Intelligence, 339-354 (2012).
3
On deciding satisfiability by theorem proving with speculative inferences. (English)
J. Autom. Reasoning 47, No. 2, 161-189 (2011).
4
Satisfiability at Microsoft. (English)
Salaün, Gwen (ed.) et al., Formal methods for industrial critical systems. 16th international workshop, FMICS 2011, Trento, Italy, August 29‒30, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24430-8/pbk). Lecture Notes in Computer Science 6959, 5 (2011).
5
Orchestrating satisfiability engines. (English)
Lee, Jimmy (ed.), Principles and practice of constraint programming ‒ CP 2011. 17th international conference, CP 2011, Perugia, Italy, September 12‒16, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23785-0/pbk). Lecture Notes in Computer Science 6876, 1 (2011).
6
$μ$Z ‒ an efficient engine for fixed points with constraints. (English)
Gopalakrishnan, Ganesh (ed.) et al., Computer aided verification. 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14‒20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22109-5/pbk). Lecture Notes in Computer Science 6806, 457-462 (2011).
7
Cutting to the chase solving linear integer arithmetic. (English)
Bjørner, Nikolaj (ed.) et al., Automated deduction ‒ CADE-23. 23rd international conference on automated deduction, Wrocław, Poland, July 31 ‒ August 5, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22437-9/pbk). Lecture Notes in Computer Science 6803. Lecture Notes in Artificial Intelligence, 338-353 (2011).
8
The SMT-LIB initiative and the rise of SMT (HVC 2010 award talk). (English)
Barner, Sharon (ed.) et al., Hardware and software: verification and testing. 6th international Haifa verification conference, HVC 2010, Haifa, Israel, October 4‒7, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19582-2/pbk). Lecture Notes in Computer Science 6504, 3 (2011).
9
Cutting to the chase solving linear integer arithmetic (English)
10
Satisfiability at microsoft (English)
FMICS, 5 (2011).
11
{$\it μZ$}- an efficient engine for fixed points with constraints (English)
CAV, 457-462 (2011).
12
Orchestrating satisfiability engines (English)
CP, 1 (2011).
13
Symbolic automata constraint solving. (English)
Fermüller, Christian G. (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10‒15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16241-1/pbk). Lecture Notes in Computer Science 6397, 640-654 (2010).
14
Bugs, moles and skeletons: Symbolic reasoning for software development. (English)
Giesl, Jürgen (ed.) et al., Automated reasoning. 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16‒19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14202-4/pbk). Lecture Notes in Computer Science 6173. Lecture Notes in Artificial Intelligence, 400-411 (2010).
15
Deciding effectively propositional logic using DPLL and substitution sets. (English)
J. Autom. Reasoning 44, No. 4, 401-424 (2010).
16
Bugs, moles and skeletons: symbolic reasoning for software development (English)
IJCAR, 400-411 (2010).
17
Efficiently solving quantified bit-vector formulas (English)