2-satisfiability - PDFSEARCH.IO - Document Search Engine

2-satisfiability
Results: 107

#	Item
51	W h e r e t h e Really H a r d P r o b l e m s A r e Peter Cheeseman Bob Kanefsky W i l l i a m M . Taylor Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2009-10-23 06:18:38 Complexity classes NP-complete problems Mathematical optimization Graph theory Graph coloring NP-complete Connectivity 2-satisfiability NP Theoretical computer science Computational complexity theory Mathematics
52	Artificial Intelligence–120 www.elsevier.com/locate/artint Compiling problem specifications into SAT ✩ Marco Cadoli a,∗ , Andrea Schaerf b a Dipartimento di Informatica e Sistemistica, Università di Add to Reading List Source URL: www.diegm.uniud.it Language: English - Date: 2008-12-11 12:42:15 Complexity classes NP-complete problems Mathematical optimization Logic in computer science Boolean satisfiability problem Electronic design automation NP-complete 2-satisfiability NP Theoretical computer science Computational complexity theory Applied mathematics
53	Minimum Satisfying Assignments for SMT? Isil Dillig1 , Thomas Dillig1 , Kenneth L. McMillan2 , and Alex Aiken3 1 College of William & Mary 2 Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2012-04-19 15:56:45 Model theory Formal languages Metalogic Boolean algebra Interpretation First-order logic Satisfiability Function Well-formed formula Logic Mathematical logic Mathematics
54	A Multivariate Complexity Analysis of Lobbying in Multiple Referenda Robert Bredereck∗ , Jiehua Chen† , Sepp Hartung, Rolf Niedermeier and Ondˇrej Such´y‡ Stefan Kratsch Add to Reading List Source URL: fpt.akt.tu-berlin.de Language: English - Date: 2012-05-07 11:13:53 Complexity classes Parameterized complexity Mathematical optimization Matrix Kernelization NP Rank 2-satisfiability Theoretical computer science Computational complexity theory Applied mathematics
55	Vinter: A Vampire-Based Tool for Interpolation ? Kryˇstof Hoder1 , Andreas Holzer2 , Laura Kov´acs2 , and Andrei Voronkov1 1 University of Manchester 2 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-09-19 03:03:42 Formal methods Logical syntax Logic in computer science Mathematical logic Automated theorem proving Interpolation Satisfiability Modulo Theories Vampire Theorem Logic Theoretical computer science Mathematics
56	Tuning the Alt-Ergo SMT Solver for B Proof Obligations Sylvain Conchon1,2 and Mohamed Iguernelala3,1 1 2 Add to Reading List Source URL: bware.lri.fr Language: English - Date: 2014-09-27 11:09:54 Formal methods Logic in computer science Electronic design automation NP-complete problems Constraint programming Satisfiability Modulo Theories Automated theorem proving Solver Mathematical proof Theoretical computer science Mathematics Applied mathematics
57	Reasoning About Pattern-Based XML Queries Am´elie Gheerbrant1, Leonid Libkin1, and Cristina Sirangelo2 1 School of Informatics, University of Edinburgh 2 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-06-07 12:18:52 Conjunctive query Database theory Complexity classes Relational model Structure Data integration Symbol FO Boolean satisfiability problem Theoretical computer science Mathematics Data management
58	16th Canadian Conference on Computational Geometry, 2004 A Fast Algorithm for Updating a Labeling to Avoid a Moving Point Farshad Rostamabadi Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2004-08-23 15:27:23 2-satisfiability Graph Automatic label placement Graph theory Mathematics Theoretical computer science
59	manhat-conn-xact-color.dvi Add to Reading List Source URL: daniel-wilkerson.appspot.com Language: English NP-complete problems Graph coloring Graph theory NP-complete One-in-three 3SAT 2-satisfiability Theoretical computer science Mathematics Computational complexity theory
60	A Phase Transition-Based Perspective on Multiple Instance Kernels Romaric Gaudel1,2 , Mich`ele Sebag1 , and Antoine Cornu´ejols3 1 CNRS − INRIA − Univ. Paris-Sud, FOrsay, France Add to Reading List Source URL: www.lri.fr Language: English - Date: 2007-11-19 08:56:00 Support vector machine Machine learning Constraint programming Satisfiability Active learning Constraint satisfaction problem PP Boolean satisfiability problem Theoretical computer science Statistical classification Applied mathematics