Result 1 to 20 of 43 total
URSA: a system for uniform reduction to SAT. (English)
Log. Methods Comput. Sci. 8, No. 3, Paper No. 30, 39 p. (2012).
1
CDCL-based abstract state transition system for coherent logic. (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, 264-279 (2012).
2
Towards understanding triangle construction problems. (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, 127-142 (2012).
3
The area method. A recapitulation. (English)
J. Autom. Reasoning 48, No. 4, 489-532 (2012).
4
Formalization of abstract state transition systems for SAT. (English)
Log. Methods Comput. Sci. 7, No. 3, Paper No. 19, 37 p., electronic only (2011).
5
Real-world reasoning: toward scalable, uncertain spatiotemporal, contextual and causal inference. (English)
Atlantis Thinking Machines 2. Amsterdam: Atlantis Press (ISBN 978-94-91216-10-7/hbk; 978-94-91216-11-4/ebook). 279~p. EUR~79.95/net; SFR~106.50; \sterling~72.00; \$~99.00 (2011).
6
A coherent logic based geometry theorem prover capable of producing formal and readable proofs. (English)
Schreck, Pascal (ed.) et al., Automated deduction in geometry. 8th international workshop, ADG 2010, Munich, Germany, July 22‒24, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-25069-9/pbk). Lecture Notes in Computer Science 6877. Lecture Notes in Artificial Intelligence, 201-220 (2011).
7
URBiVA: Uniform reduction to bit-vector arithmetic. (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, 346-352 (2010).
8
Formal correctness proof for DPLL procedure. (English)
Informatica, Vilnius 21, No. 1, 57-78 (2010).
9
Geometry constructions language. (English)
J. Autom. Reasoning 44, No. 1-2, 3-24 (2010).
10
Urbiva: uniform reduction to bit-vector arithmetic (English)
IJCAR, 346-352 (2010).
11
A coherent logic based geometry theorem prover capable of producing formal and readable proofs (English)
Automated Deduction in Geometry, 201-220 (2010).
12
Instance-based selection of policies for SAT solvers. (English)
Kullmann, Oliver (ed.), Theory and applications of satisfiability testing ‒ SAT 2009. 12th international conference, SAT 2009, Swansea, UK, June 30‒July 3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02776-5/pbk). Lecture Notes in Computer Science 5584, 326-340 (2009).
13
Instance-based selection of policies for SAT solvers (English)
SAT, 326-340 (2009).
14
Geothms - a web system for Euclidean constructive geometry. (English)
Electron. Notes Theor. Comput. Sci. 174, No. 2, 35-48 (2007).
15
A variant of n-gram based language classification. (English)
Basili, Roberto (ed.) et al., AI$^*$IA 2007: Artificial intelligence and human-oriented computing. 10th congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10‒13, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74781-9/pbk). Lecture Notes in Computer Science 4733. Lecture Notes in Artificial Intelligence, 410-421 (2007).
16
Automatic verification of regular constructions in dynamic geometry systems. (English)
Botana, Francisco (ed.) et al., Automated deduction in geometry. 6th international workshop, ADG 2006, Pontevedra, Spain, August 31‒September 2, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-77355-9/pbk). Lecture Notes in Computer Science 4869. Lecture Notes in Artificial Intelligence, 39-51 (2007).
17
Random $k$-GD-Sat model and its phase transition. (English)
J. UCS 13, No. 4, 572-591, electronic only (2007).
18
Automatic synthesis of decision procedures: a case study of ground and linear arithmetic. (English)
Kauers, Manuel (ed.) et al., Towards mechanized mathematical assistants. 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27‒30, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73083-5/pbk). Lecture Notes in Computer Science 4573. Lecture Notes in Artificial Intelligence, 80-93 (2007).
19
Automatic synthesis of decision procedures: A case study of ground and linear arithmetic (English)
Calculemus/MKM, 80-93 (2007).
20
Result 1 to 20 of 43 total
Start
Contact
Print
General Help
