61![Automatic Proof and Disproof in Isabelle/HOL Jasmin Christian Blanchette, Lukas Bulwahn, and Tobias Nipkow Fakult¨at f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. Isabelle/HOL is a popular interactive t Automatic Proof and Disproof in Isabelle/HOL Jasmin Christian Blanchette, Lukas Bulwahn, and Tobias Nipkow Fakult¨at f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. Isabelle/HOL is a popular interactive t](https://www.pdfsearch.io/img/416a3f794a75b91f390fc2ad5aac88b2.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.deLanguage: English - Date: 2015-05-21 06:02:19
|
---|
62![International Conference on Automated Planning and Scheduling (ICAPSTask and Motion Policy Synthesis as Liveness Games Yue Wang and Neil T. Dantam and Swarat Chaudhuri and Lydia E. Kavraki Department of Computer International Conference on Automated Planning and Scheduling (ICAPSTask and Motion Policy Synthesis as Liveness Games Yue Wang and Neil T. Dantam and Swarat Chaudhuri and Lydia E. Kavraki Department of Computer](https://www.pdfsearch.io/img/c45a294e4be347909e875244e63184f2.jpg) | Add to Reading ListSource URL: www.neil.dantam.nameLanguage: English - Date: 2016-07-08 17:59:42
|
---|
63![A tetrachotomy for positive first-order logic without equality Florent Madelaine Barnaby Martin A tetrachotomy for positive first-order logic without equality Florent Madelaine Barnaby Martin](https://www.pdfsearch.io/img/92bf74669a995fa34eba32397dca00ff.jpg) | Add to Reading ListSource URL: www.fields.utoronto.caLanguage: English - Date: 2011-07-07 14:48:20
|
---|
64![Part 2: First-Order Logic 2.1 Syntax 2.2 Semantics 2.3 Models, Validity, Satisfiability 2.4 Algorithmic problems 2.5 Normal forms and Skolemization Part 2: First-Order Logic 2.1 Syntax 2.2 Semantics 2.3 Models, Validity, Satisfiability 2.4 Algorithmic problems 2.5 Normal forms and Skolemization](https://www.pdfsearch.io/img/59cecf91c3deb306c34a618247cc8a0d.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.deLanguage: English - Date: 2009-06-05 11:15:41
|
---|
65![Microsoft PowerPoint - perspCompatibility Mode] Microsoft PowerPoint - perspCompatibility Mode]](https://www.pdfsearch.io/img/88e995afc06af6898a4914d6abb32ae0.jpg) | Add to Reading ListSource URL: resources.mpi-inf.mpg.deLanguage: English - Date: 2012-12-18 03:41:56
|
---|
66![TIP: Tons of Inductive Problems Koen Claessen, Moa Johansson, Dan Ros´en, and Nicholas Smallbone Department of Computer Science and Engineering, Chalmers University of Technology {koen,jomoa,danr,nicsma}@chalmers.se Ab TIP: Tons of Inductive Problems Koen Claessen, Moa Johansson, Dan Ros´en, and Nicholas Smallbone Department of Computer Science and Engineering, Chalmers University of Technology {koen,jomoa,danr,nicsma}@chalmers.se Ab](https://www.pdfsearch.io/img/43106f2a8dadf420550e9e6b9a793454.jpg) | Add to Reading ListSource URL: www.cse.chalmers.seLanguage: English - Date: 2015-05-06 07:44:21
|
---|
67![An experimental evaluation of Max-SAT and PB solvers on over-subscription planning problems Marco Maratea DIST, University of Genova, Viale F. Causa 15, Genova, Italy. Abstract An experimental evaluation of Max-SAT and PB solvers on over-subscription planning problems Marco Maratea DIST, University of Genova, Viale F. Causa 15, Genova, Italy. Abstract](https://www.pdfsearch.io/img/b3afc360245249715e24e33ef8bc1da2.jpg) | Add to Reading ListSource URL: ceur-ws.orgLanguage: English - Date: 2010-05-19 04:29:26
|
---|
68![Positive Higher-Order Queries Michael Benedikt Oxford University Computing Laboratory Parks Road, Oxford, UK Positive Higher-Order Queries Michael Benedikt Oxford University Computing Laboratory Parks Road, Oxford, UK](https://www.pdfsearch.io/img/eba01ab72ef7480a816c6f257c7c8a8c.jpg) | Add to Reading ListSource URL: www.cs.ox.ac.ukLanguage: English - Date: 2015-10-05 08:25:05
|
---|
69![A BDD Representation for Positive Equational Formulas Wenxin Song, Eugene W. Stark? Department of Computer Science State University of New York at Stony Brook A BDD Representation for Positive Equational Formulas Wenxin Song, Eugene W. Stark? Department of Computer Science State University of New York at Stony Brook](https://www.pdfsearch.io/img/e7336bd4e53c4373caec30c52ca86242.jpg) | Add to Reading ListSource URL: bsd7.cs.sunysb.eduLanguage: English - Date: 2008-07-02 09:38:12
|
---|
70![Boolean Lexicographic Optimization Joao Marques-Silva1 , Josep Argelich2 , Ana Grac¸a3 , and Inˆes Lynce3 1 2 CSI/CASL, University College Dublin, Ireland Boolean Lexicographic Optimization Joao Marques-Silva1 , Josep Argelich2 , Ana Grac¸a3 , and Inˆes Lynce3 1 2 CSI/CASL, University College Dublin, Ireland](https://www.pdfsearch.io/img/2010b670dfb5d681a07eeb9380735d65.jpg) | Add to Reading ListSource URL: ceur-ws.orgLanguage: English - Date: 2010-05-18 11:55:34
|
---|