×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [propositional reasoning]
Home >
propositional reasoning
50.530: Software Engineering Sun Jun SUTD. Week 10: Symbolic Execution.
280 views
© 2006 Carnegie Mellon University Combining Predicate and Numeric Abstraction for Software Model Checking Software Engineering Institute Carnegie Mellon.
213 views
PROOF TRANSLATION AND SMT LIB CERTIFICATION Yeting Ge Clark Barrett SMT 2008 July 7 Princeton.
221 views
1 Compute-Intensive Methods in AI: New Opportunities for Reasoning and Search Bart Selman Cornell University
[email protected]
.
219 views
1 BLACKBOX: A New Approach to the Application of Theorem Proving to Problem Solving Bart Selman Cornell University Joint work with Henry Kautz AT&T Labs.
214 views
Scalable Knowledge Representation and Reasoning Systems Henry Kautz AT&T Shannon Laboratories.
219 views
The Boolean Satisfiability Problem: Theory and Practice Bart Selman Cornell University Joint work with Carla Gomes.
223 views
J Van Bentham - Invariance and Definability - Two Faces of Logical Constants - In W. Sieg, R. Sommer, & C. Talcott, Eds., Ed.,.Ps
27 views