<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2012-12-18 03:41:56Logic Mathematical logic Mathematics Propositional calculus Automated theorem proving Boolean algebra Syntax Boolean satisfiability problem Clause Valuation Propositional variable Unit propagation |
Add to Reading List |
Microsoft PowerPoint - perspCompatibility Mode] | Microsoft PowerPoint - perspCompatibility Mode]DocID: 1r0cq - View Document |
| predicate logic logical verification weekDocID: 1q9E7 - View Document |
| Microsoft PowerPoint - perspppt [Compatibility Mode]DocID: 1os6W - View Document |
| Improving Variable Selection Process in Stochastic Local Search for Propositional Satisfiability Anton Belov and Zbigniew Stachniak Department of Computer Science and Engineering, York University, Toronto, Canada {antonDocID: 1jfj0 - View Document |
| Basic Logic, SMT solvers and nitely generated varieties of GBL-algebras Peter Jipsen Chapman University, Orange, California TACL 2013, July 29, Vanderbilt UniversityDocID: 1awh9 - View Document |