Unsatisfiable core - PDFSEARCH.IO - Document Search Engine

Unsatisfiable core
Results: 15

#	Item
1	On Improving MUS Extraction Algorithms Joao Marques-Silva1,2 and Ines Lynce2 1 2 Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Automated theorem proving Logic in computer science Propositional calculus Unsatisfiable core Boolean algebra Resolution Exponential time hypothesis Algorithm Maximum satisfiability problem Boolean satisfiability problem DavisPutnam algorithm
2	sets-graph-msuc-opt.ipeps Add to Reading List Source URL: tmancini.di.uniroma1.it Language: English - Date: 2008-12-16 11:04:43 Logic in computer science Automated theorem proving Constraint programming Boolean algebra Propositional calculus Unsatisfiable core Boolean satisfiability problem Resolution Maximum satisfiability problem Satisfiability Package manager Debian
3	What Gives? A Hybrid Algorithm for Error Trace Explanation Vijayaraghavan Murali1 , Nishant Sinha2 , Emina Torlak3 , and Satish Chandra4 1 NUS, Singapore Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:59 Video signal Mathematics PP Algorithm Unsatisfiable core Mathematical logic Interpolation Video
4	Instantiations, Zippers and EPR Interpolation Nikolaj Bjørner, Arie Gurfinkel, Konstantin Korovin and Ori Lahav Microsoft Research, Software Engineering Institute, University of Manchester, Tel Aviv University Abstract Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-05-07 12:02:18 Model theory Automated theorem proving Boolean algebra Resolution Interpolation First-order logic Interpretation Unsatisfiable core Atomic formula Logic Mathematical logic Propositional calculus
5	A Constraint Solver for Software Engineering: Finding Models and Cores of Large Relational Specifications by Emina Torlak Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 NP-complete problems Constraint programming Logic in computer science Propositional calculus Unsatisfiable core Electronic design automation Boolean satisfiability problem Symmetry Satisfiability Theoretical computer science Mathematics Applied mathematics
6	Finding Minimal Unsatisfiable Cores of Declarative Specifications Emina Torlak, Felix Sheng-Ho Chang and Daniel Jackson MIT Computer Science and Artificial Intelligence Laboratory {emina, fschang, dnj}@mit.edu Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Mathematics Rules of inference Propositional calculus Unsatisfiable core Resolution Conjunctive normal form SQL Automated theorem proving Logic Mathematical logic
7	Advanced encoding of programs CS294: Program Synthesis for Everyone Ras Bodik Emina Torlak Division of Computer Science Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2012-09-09 10:02:45 Model theory Electronic design automation Relational model Z3 Unsatisfiable core Logic synthesis First-order logic Transitive closure Finitary relation Logic Mathematics Mathematical logic
8	MUS Extraction using Clausal Proofs Anton Belov1 , Marijn J. H. Heule2 and Joao Marques-Silva1,3 1 Complex and Adaptive Systems Laboratory, University College Dublin 2 Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-07-31 09:41:50 Mathematics Propositional calculus Unsatisfiable core Conjunctive normal form Resolution Logic programming First-order logic Logic Mathematical logic Automated theorem proving
9	Trimming while Checking Clausal Proofs Marijn J.H. Heule, Warren A. Hunt, Jr., and Nathan Wetzler The University of Texas at Austin Abstract—Conflict-driven clause learning (CDCL) satisfiability solvers can emit more t Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-01-02 11:58:01 Unsatisfiable core Conjunctive normal form Resolution Five lemma Theorem Logic programming Unit propagation Automated proof checking Boolean satisfiability problem Logic Mathematics Automated theorem proving
10	DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs Nathan Wetzler, Marijn J. H. Heule, and Warren A. Hunt, Jr. ? Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-04-02 18:01:43 Automated theorem proving Formal methods NP-complete problems Constraint programming Logic in computer science True quantified Boolean formula Resolution Satisfiability Modulo Theories Unsatisfiable core Theoretical computer science Mathematics Logic