Search results for "(Un)Satisfiability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
61	Inderpal Singh Mumick, Oded Shmueli	Universal Finiteness and Satisfiability.	PODS	1994	DBLP DOI BibTeX RDF	SQL, Datalog
60	Luís Guerra e Silva, Luís Miguel Silveira, João Marques-Silva 0001	Algorithms for Solving Boolean Satisfiability in Combinational Circuits.	DATE	1999	DBLP DOI BibTeX RDF	Circuit Delay Computation, Test Pattern Generation, Boolean Satisfiability, Circuit Satisfiability
54	Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran	Automatic Combinability of Rewriting-Based Satisfiability Procedures.	LPAR	2006	DBLP DOI BibTeX RDF
54	Jason Crampton, Hemanth Khambhammettu	Delegation and satisfiability in workflow systems.	SACMAT	2008	DBLP DOI BibTeX RDF	satisfiability, delegation, workflow management systems
54	Malek Mouhoub, Samira Sadaoui	Systematic versus Non-systematic Methods for Solving Incremental Satisfiability.	IEA/AIE	2004	DBLP DOI BibTeX RDF	Genetic Algorithms, Local Search, Branch and Bound, Propositional Satisfiability
54	Stefan Porschen	On Some Weighted Satisfiability and Graph Problems.	SOFSEM	2005	DBLP DOI BibTeX RDF	(weighted) exact satisfiability, not-all-equal satisfiability, NP-completeness, exact algorithm, counting problem, maximum weight independent set
54	Clark W. Barrett, David L. Dill, Aaron Stump	Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT.	CAV	2002	DBLP DOI BibTeX RDF	Satisfiability, First-Order Logic, Decision Procedures, Propositional Satisfiability
51	A. Koutsou, Satisfiability He	Study of ants' traffic organisation under crowded conditions using individual-based modelling and evolutionary computation.	IEEE Congress on Evolutionary Computation	2009	DBLP DOI BibTeX RDF
48	Alexander Smith 0001, Andreas G. Veneris, Anastasios Viglas	Design diagnosis using Boolean satisfiability.	ASP-DAC	2004	DBLP DOI BibTeX RDF
48	Andreas G. Veneris	Fault Diagnosis and Logic Debugging Using Boolean Satisfiability.	MTV	2003	DBLP DOI BibTeX RDF
48	Guoqiang Pan, Moshe Y. Vardi	Symbolic Techniques in Satisfiability Solving.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	symbolic decision procedure, satisfiability, binary decision diagram
48	Mohamed El-bachir Menai	An Evolutionary Local Search Method for Incremental Satisfiability.	AISC	2004	DBLP DOI BibTeX RDF	Incremental Satisfiability, Self-Organized Criticality, Stochastic Local Search, Extremal Optimization
48	Randal E. Bryant, Miroslav N. Velev	Boolean satisfiability with transitivity constraints.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	formal verification, decision procedures, Boolean satisfiability
47	Guoqiang Pan, Moshe Y. Vardi	Search vs. Symbolic Techniques in Satisfiability Solving.	SAT (Selected Papers	2004	DBLP DOI BibTeX RDF
47	Hossein M. Sheini, Karem A. Sakallah	From Propositional Satisfiability to Satisfiability Modulo Theories.	SAT	2006	DBLP DOI BibTeX RDF
45	Stephen M. Majercik	Stochastic Boolean Satisfiability.	Handbook of Satisfiability	2021	DBLP DOI BibTeX RDF
45	John Franco, John Martin	A History of Satisfiability.	Handbook of Satisfiability	2021	DBLP DOI BibTeX RDF
45	Clark W. Barrett, Roberto Sebastiani, Sanjit A. Seshia, Cesare Tinelli	Satisfiability Modulo Theories.	Handbook of Satisfiability	2021	DBLP DOI BibTeX RDF
45	Karem A. Sakallah	Symmetry and Satisfiability.	Handbook of Satisfiability	2021	DBLP DOI BibTeX RDF
45	John Franco, John Martin	A History of Satisfiability.	Handbook of Satisfiability	2009	DBLP DOI BibTeX RDF
45	Stephen M. Majercik	Stochastic Boolean Satisfiability.	Handbook of Satisfiability	2009	DBLP DOI BibTeX RDF
45	Karem A. Sakallah	Symmetry and Satisfiability.	Handbook of Satisfiability	2009	DBLP DOI BibTeX RDF
45	Clark W. Barrett, Roberto Sebastiani, Sanjit A. Seshia, Cesare Tinelli	Satisfiability Modulo Theories.	Handbook of Satisfiability	2009	DBLP DOI BibTeX RDF
45	Dimitris Achlioptas	Random Satisfiability.	Handbook of Satisfiability	2009	DBLP DOI BibTeX RDF
45	Arne Løkketangen, Fred W. Glover	Surrogate constraint analysis-new heuristics and learning schemes for satisfiability problems.	Satisfiability Problem: Theory and Applications	1996	DBLP DOI BibTeX RDF
45	Benjamin Wan-Sang Wah, Yi Shang	A discrete Lagrangian-based global-search method for solving satisfiability problems.	Satisfiability Problem: Theory and Applications	1996	DBLP DOI BibTeX RDF
45	Ewald Speckenmeyer, Max Böhm, Peter Heusch	On the imbalance of distributions of solutions of CNF-formulas and its impact on satisfiability solvers.	Satisfiability Problem: Theory and Applications	1996	DBLP DOI BibTeX RDF
45	Jun Gu, Paul W. Purdom, John V. Franco, Benjamin W. Wah	Algorithms for the satisfiability (SAT) problem: A survey.	Satisfiability Problem: Theory and Applications	1996	DBLP DOI BibTeX RDF
45	John Franco	Relative size of certain polynomial time solvable subclasses of satisfiability.	Satisfiability Problem: Theory and Applications	1996	DBLP DOI BibTeX RDF
45	Jinchang Wang	Branching rules for propositional satisfiability test.	Satisfiability Problem: Theory and Applications	1996	DBLP DOI BibTeX RDF
45	Stephen A. Cook, David G. Mitchell	Finding hard instances of the satisfiability problem: A survey.	Satisfiability Problem: Theory and Applications	1996	DBLP DOI BibTeX RDF
45	Kazuo Iwama, Kazuya Takaki	Satisfiability of 3CNF formulas with small clause/variable-ratio.	Satisfiability Problem: Theory and Applications	1996	DBLP DOI BibTeX RDF
45	Hans van Maaren	On the use of second order derivatives for the satisfiability problem.	Satisfiability Problem: Theory and Applications	1996	DBLP DOI BibTeX RDF
45	Jun Gu	Multispace search for satisfiability and NP-hard problems.	Satisfiability Problem: Theory and Applications	1996	DBLP DOI BibTeX RDF
45	William M. Spears	Simulated annealing for hard satisfiability problems.	Cliques, Coloring, and Satisfiability	1993	DBLP DOI BibTeX RDF
45	Brigitte Jaumard, Mihnea Stan, Jacques Desrosiers	Tabu search and a quadratic relaxation for the Satisfiability problem.	Cliques, Coloring, and Satisfiability	1993	DBLP DOI BibTeX RDF
45	Allen Van Gelder, Yumi K. Tsuji	Satisfiability testing with more reasoning and less guessing.	Cliques, Coloring, and Satisfiability	1993	DBLP DOI BibTeX RDF
45	Steven E. Hampson, Dennis F. Kibler	Large plateaus and plateau search in Boolean Satisfiability problems: When to give up searching and start again.	Cliques, Coloring, and Satisfiability	1993	DBLP DOI BibTeX RDF
45	Mauricio G. C. Resende, Thomas A. Feo	A GRASP for satisfiability.	Cliques, Coloring, and Satisfiability	1993	DBLP DOI BibTeX RDF
45	Bart Selman, Henry A. Kautz, Bram Cohen	Local search strategies for satisfiability testing.	Cliques, Coloring, and Satisfiability	1993	DBLP DOI BibTeX RDF
45	Charles Fleurent, Jacques A. Ferland	Object-oriented implementation of heuristic search methods for Graph Coloring, Maximum Clique, and Satisfiability.	Cliques, Coloring, and Satisfiability	1993	DBLP DOI BibTeX RDF
45	David S. Johnson, Michael A. Trick	Foreword xiIntroduction to the Second DIMACS Challenge: Cliques, coloring, and satisfiability.	Cliques, Coloring, and Satisfiability	1993	DBLP DOI BibTeX RDF
45	Richard J. Wallace, Eugene C. Freuder	Comparative studies of constraint satisfaction and Davis-Putnam algorithms for maximum satisfiability problems.	Cliques, Coloring, and Satisfiability	1993	DBLP DOI BibTeX RDF
43	Maria Paola Bonacina, Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli	Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures.	IJCAR	2006	DBLP DOI BibTeX RDF
42	Leonardo Mendonça de Moura, Bruno Dutertre, Natarajan Shankar	A Tutorial on Satisfiability Modulo Theories.	CAV	2007	DBLP DOI BibTeX RDF
42	Christian Glaßer, Christian Reitwießner, Stephen D. Travers, Matthias Waldherr	Satisfiability of Algebraic Circuits over Sets of Natural Numbers.	FSTTCS	2007	DBLP DOI BibTeX RDF
42	Alexander Smith 0001, Andreas G. Veneris, Moayad Fahim Ali, Anastasios Viglas	Fault diagnosis and logic debugging using Boolean satisfiability.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
42	Floris Geerts, Wenfei Fan	Satisfiability of XPath Queries with Sibling Axes.	DBPL	2005	DBLP DOI BibTeX RDF
42	Katarina Britz, Johannes Heidema	Semiring-Valued Satisfiability.	Australian Conference on Artificial Intelligence	2003	DBLP DOI BibTeX RDF
42	Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz 0001	New results on rewrite-based satisfiability procedures.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	combination of theories, satisfiability modulo a theory, scalability, inference, termination, Automated reasoning, decision procedures, rewriting, superposition
42	Nobutaka Suzuki, Yuji Fukushima	Satisfiability of simple xpath fragments in the presence of dtds.	WIDM	2009	DBLP DOI BibTeX RDF	satisfiability, xpath, xml, dtd
42	Michael Benedikt, Wenfei Fan, Floris Geerts	XPath satisfiability in the presence of DTDs.	J. ACM	2008	DBLP DOI BibTeX RDF	XML, Satisfiability, XPath, Containment, DTDs
42	Yu Zhang 0086, Yihua Cao, Xunhao Li	A Decision Procedure for XPath Satisfiability in the Presence of DTD Containing Choice.	APWeb	2008	DBLP DOI BibTeX RDF	DTD choice, XPath satisfiability, automaton
42	Manizheh Montazerian, Peter T. Wood, Seyed R. Mousavi	XPath Query Satisfiability is in PTIME for Real-World DTDs.	XSym	2007	DBLP DOI BibTeX RDF	Document Type Definitions, Satisfiability, XPath
42	Xiaowei Li 0001, Guanghui Li 0001, Ming Shao	Formal Verification Techniques Based on Boolean Satisfiability Problem.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	incremental satisfiability, minimal unsatisfiable formula, model checking, equivalence checking
42	Eugene Goldberg	Testing satisfiability of CNF formulas by computing a stable set of points.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	stable set of points, symmetric CNF formulas, satisfiability problem
42	Hans van Maaren, Linda van Norden	Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	Horn, satisfiability, density, 3-SAT
42	Miguel F. Anjos	An improved semidefinite programming relaxation for the satisfiability problem.	Math. Program.	2005	DBLP DOI BibTeX RDF	Satisfiability, Semidefinite programming, Discrete optimization
42	Carlos Camarão 0001, Lucília Figueiredo, Cristiano D. Vasconcellos	Constraint-set satisfiability for overloading.	PPDP	2004	DBLP DOI BibTeX RDF	constrained polymorphism, constraint-set satisfiability, overloading, type constraints, ad-hoc polymorphism
42	Felip Manyà, Ramón Béjar, Gonzalo Escalada-Imaz	The satisfiability problem in regular CNF-formulas.	Soft Comput.	1998	DBLP DOI BibTeX RDF	Multiple-valued regular CNF-formulas, benchmarks, threshold, satisfiability problem
42	Ramamohan Paturi, Pavel Pudlák, Francis Zane	Satisfiability Coding Lemma.	FOCS	1997	DBLP DOI BibTeX RDF	satisfying assignments, satisfying assignment, Satisfiability Coding Lemma, computability, randomized algorithm, satisfiability, deterministic algorithm, conjunctive normal form, Boolean formulae
42	Maria Alberta Alberti, Alberto Bertoni, Paola Campadelli, Giuliano Grossi, Roberto Posenato	A neural circuit for the maximum 2-satisfiability problem.	PDP	1995	DBLP DOI BibTeX RDF	maximum 2-satisfiability, neural circuit, 2-satisfiability problem, neural networks, FPGA, computability, neural nets
41	Danila A. Sinopalnikov	Satisfiability Threshold of the Skewed Random k-SAT.	SAT (Selected Papers	2004	DBLP DOI BibTeX RDF
41	Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski	Satisfiability and Computing van der Waerden Numbers.	SAT	2003	DBLP DOI BibTeX RDF
41	David A. Mix Barrington, Pierre McKenzie, Cristopher Moore, Pascal Tesson, Denis Thérien	Equation Satisfiability and Program Satisfiability for Finite Monoids.	MFCS	2000	DBLP DOI BibTeX RDF
41	Dominik Scheder, Philipp Zumstein	Satisfiability with Exponential Families.	SAT	2007	DBLP DOI BibTeX RDF	polynomial circuits, NP-hardness, satisfiability, context-free grammars, VC-dimension
40	Hans van Maaren, Linda van Norden	Sums of Squares, Satisfiability and Maximum Satisfiability.	SAT	2005	DBLP DOI BibTeX RDF
37	Olga Tveretina	A Decision Procedure for Equality Logic with Uninterpreted Functions.	AISC	2004	DBLP DOI BibTeX RDF	equality logic with uninterpreted functions, DPLL procedure, satisfiability
37	Lance Fortnow, Dieter van Melkebeek	Time-Space Tradeoffs for Nondeterministic Computation.	CCC	2000	DBLP DOI BibTeX RDF	Satisfiability, Time-space tradeoffs
37	Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz 0001, Roberto Sebastiani	MathSAT: Tight Integration of SAT and Mathematical Decision Procedures.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	Satisfiability module theory, Integrated decision procedures, Linear arithmetic logic, Propositional satisfiability
37	Karima Benatchba, Lotfi Admane, Mouloud Koudil	Using Bees to Solve a Data-Mining Problem Expressed as a Max-Sat One.	IWINAC (2)	2005	DBLP DOI BibTeX RDF	Optimisation using bees, MBO algorithm, Data-Mining, Optimization, Satisfiability, Maximum-Satisfiability
37	Rajesh K. Gupta 0001	A framework for interactive analysis of timing constraints in embedded systems.	CODES	1996	DBLP DOI BibTeX RDF	constraint satisfiability, performance evaluation, real-time systems, embedded systems, timing, computability, logic design, satisfiability, timing constraints, interactive analysis, timing performance
36	Carlo A. Furia, Paola Spoletini	Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers.	ICTAC	2008	DBLP DOI BibTeX RDF
36	Tomás Brázdil, Vojtech Forejt, Jan Kretínský, Antonín Kucera 0001	The Satisfiability Problem for Probabilistic CTL.	LICS	2008	DBLP DOI BibTeX RDF	temporal logics, Markov chains
36	Sven Schewe	ATL* Satisfiability Is 2EXPTIME-Complete.	ICALP (2)	2008	DBLP DOI BibTeX RDF
36	Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta	Boolean Abstraction for Temporal Logic Satisfiability.	CAV	2007	DBLP DOI BibTeX RDF
36	Viktor Kuncak, Martin C. Rinard	Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic.	CADE	2007	DBLP DOI BibTeX RDF
36	Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli	Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems.	CADE	2007	DBLP DOI BibTeX RDF
36	Cesare Tinelli	An Abstract Framework for Satisfiability Modulo Theories.	TABLEAUX	2007	DBLP DOI BibTeX RDF
36	Miguel F. Anjos	An explicit semidefinite characterization of satisfiability for Tseitin instances on toroidal grid graphs.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 90C22, 03B05, 90C09, 90C90, 68T15
36	Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran	On Superposition-Based Satisfiability Procedures and Their Combination.	ICTAC	2005	DBLP DOI BibTeX RDF
36	Stefan Andrei, Wei-Ngan Chin	Incremental Satisfiability Counting for Real-Time Systems.	IEEE Real-Time and Embedded Technology and Applications Symposium	2004	DBLP DOI BibTeX RDF
36	Cesare Tinelli	A DPLL-Based Calculus for Ground Satisfiability Modulo Theories.	JELIA	2002	DBLP DOI BibTeX RDF
36	Gregory B. Sorkin	Some Notes on Random Satisfiability.	SAGA	2001	DBLP DOI BibTeX RDF
36	Farzan Fallah, Srinivas Devadas, Kurt Keutzer	Functional Vector Generation for HDL Models Using Linear Programming and 3-Satisfiability.	DAC	1998	DBLP DOI BibTeX RDF	low power, synthesis, placement, flip-flops, voltage scaling, codec, MPEG4, level converters, design automatian
36	Hans Kleine Büning, Theodor Lettmann	Classes of First Order Formulas Under Various Satisfiability Definitions.	CADE	1986	DBLP DOI BibTeX RDF
36	William R. Harris, Sriram Sankaranarayanan 0001, Franjo Ivancic, Aarti Gupta	Program analysis via satisfiability modulo path programs.	POPL	2010	DBLP DOI BibTeX RDF	program analysis, abstract interpretation, symbolic execution, path sensitivity, smt solvers, satisfiability solvers
36	Arne Meier, Martin Mundhenk, Thomas Schneider 0002, Michael Thomas 0001, Volker Weber, Felix Weiss	The Complexity of Satisfiability for Fragments of Hybrid Logic-Part I.	MFCS	2009	DBLP DOI BibTeX RDF	Post’s lattice, complexity, satisfiability, decidability, hybrid logic
36	Serge Abiteboul, Pierre Bourhis, Bogdan Marinoiu	Satisfiability and relevance for queries over active documents.	PODS	2009	DBLP DOI BibTeX RDF	active XML, query satisfiability, relevance
36	Naiyong Jin, Huibiao Zhu	ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions.	ISoLA	2008	DBLP DOI BibTeX RDF	Alternating Automata, Memoryful Synchronization, Satisfiability
36	Victor Chepoi, Nadia Creignou, Miki Hermann, Gernot Salzer	Deciding the Satisfiability of Propositional Formulas in Finitely-Valued Signed Logics.	ISMVL	2008	DBLP DOI BibTeX RDF	Helly property, complexity, satisfiability, many-valued logic, propositional logic
36	Clark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump	Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006).	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Competition, Decision procedures, Automated theorem proving, SMT, Satisfiability modulo theories
36	Kenichi Watanabe, Tomoya Enokido, Makoto Takizawa 0001	Satisfiability and trustworthiness of acquaintances in peer-to-peer overlay networks.	Inf. Syst. Frontiers	2006	DBLP DOI BibTeX RDF	Acquaintance, Quality of service, Access control, Satisfiability, Trustworthiness, Peer-to-peer overlay network
36	Juan Frausto Solís, Héctor Sanvicente Sánchez, Froilán Imperial-Valenzuela	ANDYMARK: An Analytical Method to Establish Dynamically the Length of the Markov Chain in Simulated Annealing for the Satisfiability Problem.	SEAL	2006	DBLP DOI BibTeX RDF	Optimization, Heuristics, Simulated Annealing, Combinatorial Optimization, Satisfiability, NP-Hard Problems
36	Stefan Porschen	Counting All Solutions of Minimum Weight Exact Satisfiability.	CIAC	2006	DBLP DOI BibTeX RDF	Minimum weight exact satisfiability, minimum weight set partition, counting problem, maximum weight independent set
36	Zhaohui Fu, Sharad Malik	Solving the minimum-cost satisfiability problem using SAT based branch-and-bound search.	ICCAD	2006	DBLP DOI BibTeX RDF	MinCostSAT, optimization, branch-and-bound, Boolean satisfiability
36	Lance Fortnow, Richard J. Lipton, Dieter van Melkebeek, Anastasios Viglas	Time-space lower bounds for satisfiability.	J. ACM	2005	DBLP DOI BibTeX RDF	Complexity of satisfiability, time-space lower bounds
36	Alan M. Frisch, Timothy J. Peugniez, Anthony J. Doggett, Peter Nightingale	Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	local search, encodings, satisfiability, propositional logic
36	Stefan Porschen	Solving Minimum Weight Exact Satisfiability in Time O(20.2441n).	ISAAC	2005	DBLP DOI BibTeX RDF	minimum weight exact satisfiability, branching tree, minimum perfect matching, NP-completeness, exact algorithm
36	Felipe S. Marques 0001, Renato P. Ribas, Sachin S. Sapatnekar, André Inácio Reis	A new approach to the use of satisfiability in false path detection.	ACM Great Lakes Symposium on VLSI	2005	DBLP DOI BibTeX RDF	unateness, satisfiability, false paths