Lecture 1: Constraint networks overview
Model Checking Base on Interoplation K. L. McMillan Cadence Berkeley Labs.
Applications of Craig Interpolation to Model Checking K. L. McMillan Cadence Berkeley Labs.
Discovering Missing Background Knowledge in Ontology Matching Pavel Shvaiko 17th European Conference on Artificial Intelligence (ECAI06) 30 August 2006,
Automated Validation of Internet Security Protocols and Applications Shared cost RTD (FET open) project IST-2001-39252 The AVISPA Project: Automated Validation.
20111121 mo-logic
Phase transition behaviour Toby Walsh Dept of CS University of York.
SAT-Based Planning Using Propositional SAT- Solvers to Search for Plans.
Solving Partial Order Constraints for LPO termination.
Search for satisfaction Toby Walsh Cork Constraint Computation Center [email protected].
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.
Carnegie Mellon University SAT-Based Decision Procedures for Subsets of First-Order Logic bryant Randal E. Bryant Part II: Separation.