×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [automated deduction]
Home >
automated deduction
Rencontres Inria Industrie - Qualité logicielle - OWF13
593 views
Master's Thesis: Closed formulae for distance functions involving ellipses.
416 views
1 Artificial Intelligence Uninformed Search by LISP AI as search problem states, state spaces uninformed search strategies depth first search depth first.
296 views
Computer Sciences Lab & NICTA Opportunities for Honours projects 2009 Marcus Hutter (adapted from and thanks to Sylvie Thiebaux)
215 views
REGNET: An Infrastructure for Regulatory Information Management and Compliance Assistance Kincho H. Law Prof., Civil and Env. Engr. Gio Wiederhold Prof.,
218 views
Glue Semantics for Proof Theorists
451 views
Lmfi1
144 views
leanCoR: lean Connection-based DL Reasoner
43 views
Tutorials Wipro Log
50 views
1 SAT Solving As implemented in - DPLL solvers: GRASP, Chaff and - Stochastic solvers: GSAT.
233 views
Reasoning about Actions and Causality Θεωρίες Δράσης και Αιτιότητας Θοδωρής Πάτκος Αναπαράσταση και Επεξεργασία Γνώσης
217 views
GRASP-an efficient SAT solver Pankaj Chauhan. 6/19/201515-398: GRASP and Chaff2 What is SAT? Given a propositional formula in CNF, find an assignment.
217 views
Next >