Search results for "satisfiability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Dominik Scheder, Philipp Zumstein	Satisfiability with Exponential Families.	SAT	2007	DBLP DOI BibTeX RDF	polynomial circuits, NP-hardness, satisfiability, context-free grammars, VC-dimension
4	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
4	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
4	Luís Guerra e Silva, Luis Miguel Silveira, João P. Marques Silva	Algorithms for Solving Boolean Satisfiability in Combinational Circuits.	DATE	1999	DBLP DOI BibTeX RDF	Circuit Delay Computation, Test Pattern Generation, Boolean Satisfiability, Circuit Satisfiability
4	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
4	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
3	Sandeep Kumar Singla, Pradeep Kumar Jaswal	Hybrid Satisfiability Techniques.	ITNG	2010	DBLP DOI BibTeX RDF	HybridSAT, Satisfiability, SAT, Boolean Satisfiability, DPLL
3	Kanupriya Gulati, Sunil P. Khatri	Boolean satisfiability on a graphics processor.	ACM Great Lakes Symposium on VLSI	2010	DBLP DOI BibTeX RDF	survey propagation, gpgpu, boolean satisfiability
3	William R. Harris, Sriram Sankaranarayanan, 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
3	Anthony Monnet, Roger Villemaire	Scalable formula decomposition for propositional satisfiability.	C3S2E	2010	DBLP DOI BibTeX RDF	scalability, SAT, tree decomposition, propositional satisfiability, DPLL
3	Holger Dell, Dieter van Melkebeek	Satisfiability allows no nontrivial sparsification unless the polynomial-time hierarchy collapses.	STOC	2010	DBLP DOI BibTeX RDF	arithmetic progression free sets, hereditary graph properties, vertex deletion problems, satisfiability, kernelization, vertex cover, parameterized complexity, probabilistically checkable proofs, feedback vertex set, sparsification
3	Ramamohan Paturi, Pavel Pudlák	On the complexity of circuit satisfiability.	STOC	2010	DBLP DOI BibTeX RDF	NP-completeness, circuit satisfiability
3	Ashish Sabharwal	SymChaff: exploiting symmetry in a structure-aware satisfiability solver.	Constraints	2009	DBLP DOI BibTeX RDF	SymChaff, Complete multi-class symmetry, Global symmetry, High-level representation, Planning, SAT, Boolean satisfiability
3	Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz	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
3	John Franco, John Martin	A History of Satisfiability.	Handbook of Satisfiability	2009	DBLP DOI BibTeX RDF
3	Karem A. Sakallah	Symmetry and Satisfiability.	Handbook of Satisfiability	2009	DBLP DOI BibTeX RDF
3	Dimitris Achlioptas	Random Satisfiability.	Handbook of Satisfiability	2009	DBLP DOI BibTeX RDF
3	Stephen M. Majercik	Stochastic Boolean Satisfiability.	Handbook of Satisfiability	2009	DBLP DOI BibTeX RDF
3	Clark W. Barrett, Roberto Sebastiani, Sanjit A. Seshia, Cesare Tinelli	Satisfiability Modulo Theories.	Handbook of Satisfiability	2009	DBLP DOI BibTeX RDF
3	Nobutaka Suzuki, Yuji Fukushima	Satisfiability of simple xpath fragments in the presence of dtds.	WIDM	2009	DBLP DOI BibTeX RDF	satisfiability, xpath, xml, dtd
3	Moshe Y. Vardi	Symbolic Techniques in Propositional Satisfiability Solving.	SAT	2009	DBLP DOI BibTeX RDF
3	Hyondeuk Kim, Fabio Somenzi, HoonSang Jin	Efficient Term-ITE Conversion for Satisfiability Modulo Theories.	SAT	2009	DBLP DOI BibTeX RDF
3	Arne Meier, Martin Mundhenk, Thomas Schneider 0002, Michael Thomas, 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
3	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
3	Stefan Porschen, Tatjana Schmidt	On Some SAT-Variants over Linear Formulas.	SOFSEM	2009	DBLP DOI BibTeX RDF	not-all-equal satisfiability, exact satisfiability, linear formula, linear hypergraph, bicolorability
3	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
3	Pascal Vander-Swalmen, Gilles Dequen, Michaël Krajecki	On Multi-threaded Satisfiability Solving with OpenMP.	IWOMP	2008	DBLP DOI BibTeX RDF	collaborative, parallel, combinatorial optimization, satisfiability, OpenMP, dll
3	Juan Frausto Solís, Felix Martinez-Rios	Golden Ratio Annealing for Satisfiability Problems Using Dynamically Cooling Schemes.	ISMIS	2008	DBLP DOI BibTeX RDF	Golden Ratio, Simulated Annealing, Satisfiability Problem
3	Maarten Mariën, Johan Wittocx, Marc Denecker, Maurice Bruynooghe	SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions.	SAT	2008	DBLP DOI BibTeX RDF
3	Zbigniew Stachniak, Anton Belov	Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning.	SAT	2008	DBLP DOI BibTeX RDF
3	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
3	Yu Zhang, 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
3	Jason Crampton, Hemanth Khambhammettu	Delegation and satisfiability in workflow systems.	SACMAT	2008	DBLP DOI BibTeX RDF	satisfiability, delegation, workflow management systems
3	Naiyong Jin, Huibiao Zhu	ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions.	ISoLA	2008	DBLP DOI BibTeX RDF	Alternating Automata, Memoryful Synchronization, Satisfiability
3	Mohamed Qasem, Adam Prügel-Bennett	Complexity of Max-SAT using stochastic algorithms.	GECCO	2008	DBLP DOI BibTeX RDF	hill-climbing., satisfiability, phase transition, maximum satisfiability
3	Yichen Xie, Alex Aiken	Saturn: A scalable framework for error detection using Boolean satisfiability.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Program analysis, error detection, Boolean satisfiability
3	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 in System Design	2007	DBLP DOI BibTeX RDF	Competition, Decision procedures, Automated theorem proving, SMT, Satisfiability modulo theories
3	Fadi A. Aloul, Nagarajan Kandasamy	Sensor Deployment for Failure Diagnosis in Networked Aerial Robots: A Satisfiability-Based Approach.	SAT	2007	DBLP DOI BibTeX RDF	0-1 ILP, UAV networks, distributed systems, fault diagnosis, SAT
3	Azzam Maraee, Mira Balaban	Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets.	ECMDA-FA	2007	DBLP DOI BibTeX RDF	finite satisfiability, reasoning about class diagram, generalization set constraints, class hierarchy structure, consistency, UML class diagram, cardinality constraints
3	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
3	Stefan Porschen, Ewald Speckenmeyer	Algorithms for Variable-Weighted 2-SAT and Dual Problems.	SAT	2007	DBLP DOI BibTeX RDF	weighted satisfiability, edge cover, graph factor, NP-hardness, optimization problem, perfect matching
3	Kenichi Watanabe, Tomoya Enokido, Makoto Takizawa	Satisfiability and trustworthiness of acquaintances in peer-to-peer overlay networks.	Information Systems Frontiers	2006	DBLP DOI BibTeX RDF	Acquaintance, Quality of service, Access control, Satisfiability, Trustworthiness, Peer-to-peer overlay network
3	Fadi A. Aloul, Karem A. Sakallah, Igor L. Markov	Efficient Symmetry Breaking for Boolean Satisfiability.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	clause learning, satisfiability (SAT), symmetries, conjunctive normal form (CNF), Backtrack Search, graph automorphism
3	Enrico Giunchiglia, Yuliya Lierler, Marco Maratea	Answer Set Programming Based on Propositional Satisfiability.	J. Autom. Reasoning	2006	DBLP DOI BibTeX RDF	answer set programming, propositional satisfiability
3	Hossein M. Sheini, Karem A. Sakallah	A Progressive Simplifier for Satisfiability Modulo Theories.	SAT	2006	DBLP DOI BibTeX RDF
3	Eric I. Hsu, Sheila A. McIlraith	Characterizing Propagation Methods for Boolean Satisfiability.	SAT	2006	DBLP DOI BibTeX RDF
3	Hossein M. Sheini, Karem A. Sakallah	From Propositional Satisfiability to Satisfiability Modulo Theories.	SAT	2006	DBLP DOI BibTeX RDF
3	Roberto Sebastiani, Michele Vescovi	Encoding the Satisfiability of Modal and Description Logics into SAT: The Case Study of K(m)/ALC.	SAT	2006	DBLP DOI BibTeX RDF
3	Jin S. Zhang, Alan Mishchenko, Robert K. Brayton, Malgorzata Chrzanowska-Jeske	Symmetry detection for large Boolean functions using circuit representation, simulation, and satisfiability.	DAC	2006	DBLP DOI BibTeX RDF	and-inverter graphs, classical symmetries, simulation, boolean functions, boolean satisfiability
3	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
3	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
3	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
3	Stefan Porschen, Ewald Speckenmeyer, Bert Randerath	On Linear CNF Formulas.	SAT	2006	DBLP DOI BibTeX RDF	linear CNF formula, edge colouring, linear hypergraph, NP-completeness, satisfiability, latin square
3	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
3	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. Reasoning	2005	DBLP DOI BibTeX RDF	local search, encodings, satisfiability, propositional logic
3	Guoqiang Pan, Moshe Y. Vardi	Symbolic Techniques in Satisfiability Solving.	J. Autom. Reasoning	2005	DBLP DOI BibTeX RDF	symbolic decision procedure, satisfiability, binary decision diagram
3	Clark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump	Design and Results of the First Satisfiability Modulo Theories Competition (SMT-COMP 2005).	J. Autom. Reasoning	2005	DBLP DOI BibTeX RDF	competition, decision procedures, satisfiability modulo theories
3	Xiaowei Li 0001, Guanghui Li, 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
3	Miguel F. Anjos	An improved semidefinite programming relaxation for the satisfiability problem.	Math. Program.	2005	DBLP DOI BibTeX RDF	Satisfiability, Semidefinite programming, Discrete optimization
3	Stefan Porschen, Bert Randerath, Ewald Speckenmeyer	Exact 3-satisfiability is decidable in time O(20.16254n).	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	exact satisfiability, autonomous clause pattern, formula graph, NP-completeness, perfect matching
3	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
3	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
3	Felipe S. Marques, 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
3	Hans van Maaren, Linda van Norden	Sums of Squares, Satisfiability and Maximum Satisfiability.	SAT	2005	DBLP DOI BibTeX RDF
3	Sakari Seitz, Mikko Alava, Pekka Orponen	Threshold Behaviour of WalkSAT and Focused Metropolis Search on Random 3-Satisfiability.	SAT	2005	DBLP DOI BibTeX RDF
3	Andrew C. Ling, Deshanand P. Singh, Stephen Dean Brown	FPGA Logic Synthesis Using Quantified Boolean Satisfiability.	SAT	2005	DBLP DOI BibTeX RDF
3	Vincenzo Cutello, Giuseppe Nicosia	A Clonal Selection Algorithm for Coloring, Hitting Set and Satisfiability Problems.	WIRN/NAIS	2005	DBLP DOI BibTeX RDF	Minimum Hitting Set problem, Evolutionary Computation, Combinatorial Optimization, Satisfiability, Immune Algorithms, Clonal Selection Algorithms, Information Gain, Graph coloring problem
3	Yichen Xie, Alexander Aiken	Scalable error detection using boolean satisfiability.	POPL	2005	DBLP DOI BibTeX RDF	program analysis, error detection, boolean satisfiability
3	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
3	Gilles Audemard, Lakhdar Sais	A Symbolic Search Based Approach for Quantified Boolean Formulas.	SAT	2005	DBLP DOI BibTeX RDF	Satisfiability, Binary decision diagram, Quantified boolean formula
3	Karima Benatchba, Lotfi Admane, Mouloud Koudil	Using Bees to Solve a Data-Mining Problem Expressed as a Max-Sat One.	IWINAC	2005	DBLP DOI BibTeX RDF	Optimisation using bees, MBO algorithm, Data-Mining, Optimization, Satisfiability, Maximum-Satisfiability
3	Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani	MathSAT: Tight Integration of SAT and Mathematical Decision Procedures.	J. Autom. Reasoning	2005	DBLP DOI BibTeX RDF	Satisfiability module theory, Integrated decision procedures, Linear arithmetic logic, Propositional satisfiability
3	William N. N. Hung, Xiaoyu Song, El Mostapha Aboulhamid, Andrew A. Kennings, Alan J. Coppola	Segmented channel routability via satisfiability.	ACM Trans. Design Autom. Electr. Syst.	2004	DBLP DOI BibTeX RDF	Satisfiability
3	Vasco M. Manquinho, João P. Marques Silva	Satisfiability-Based Algorithms for Boolean Optimization.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	binate covering problem, non-chronological backtracking, branch-and-bound, backtrack search, propositional satisfiability
3	Kairong Zhang, Masahiro Nagamatu	Mixed Parallel Execution of Algorithms for Satisfiability Problem.	Intelligent Information Processing	2004	DBLP DOI BibTeX RDF	neural network, parallel execution, Satisfiability problem, Lagrangian method
3	Ravi Gummadi, N. S. Narayanaswamy, Venkatakrishnan Ramaswamy	Algorithms for Satisfiability Using Independent Sets of Variables.	SAT (Selected Papers	2004	DBLP DOI BibTeX RDF
3	Danila A. Sinopalnikov	Satisfiability Threshold of the Skewed Random k-SAT.	SAT (Selected Papers	2004	DBLP DOI BibTeX RDF
3	Guoqiang Pan, Moshe Y. Vardi	Search vs. Symbolic Techniques in Satisfiability Solving.	SAT (Selected Papers	2004	DBLP DOI BibTeX RDF
3	Daijue Tang, Yinlei Yu, Darsh Ranjan, Sharad Malik	Analysis of Search Based Algorithms for Satisfiability of Propositional and Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems.	SAT (Selected Papers	2004	DBLP DOI BibTeX RDF
3	HoonSang Jin, Fabio Somenzi	CirCUs: A Hybrid Satisfiability Solver.	SAT (Selected Papers	2004	DBLP DOI BibTeX RDF
3	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
3	Carlos Camarão, Lucília Figueiredo, Cristiano Vasconcellos	Constraint-set satisfiability for overloading.	PPDP	2004	DBLP DOI BibTeX RDF	constrained polymorphism, constraint-set satisfiability, overloading, type constraints, ad-hoc polymorphism
3	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
3	Hans Kleine Büning, Xishun Zhao	Equivalence Models for Quantified Boolean Formulas.	SAT (Selected Papers	2004	DBLP DOI BibTeX RDF	equivalence model, model checking, complexity, satisfiability, equivalence, Quantified Boolean formula
3	Stefan Porschen, Ewald Speckenmeyer	Worst Case Bounds for Some NP-Complete Modified Horn-SAT Problems.	SAT (Selected Papers	2004	DBLP DOI BibTeX RDF	(hidden) Horn formula, quadratic formula, minimal vertex cover, NP-completeness, satisfiability, fixed-parameter tractability
3	Guilhem Semerjian, Rémi Monasson	A Study of Pure Random Walk on Random Satisfiability Problems with "Physical" Methods.	SAT	2003	DBLP DOI BibTeX RDF
3	Stefan Porschen, Bert Randerath, Ewald Speckenmeyer	Linear Time Algorithms for Some Not-All-Equal Satisfiability Problems.	SAT	2003	DBLP DOI BibTeX RDF
3	Giorgio Parisi	On the Probabilistic Approach to the Random Satisfiability Problem.	SAT	2003	DBLP DOI BibTeX RDF
3	Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski	Satisfiability and Computing van der Waerden Numbers.	SAT	2003	DBLP DOI BibTeX RDF
3	Robert F. Damiano, James H. Kukula	Checking satisfiability of a conjunction of BDDs.	DAC	2003	DBLP DOI BibTeX RDF	satisfiability, BDD
3	Hans van Maaren, Linda van Norden	Hidden Threshold Phenomena for Fixed-Density SAT-formulae.	SAT	2003	DBLP DOI BibTeX RDF	Horn, graph-3-coloring, satisfiability, thresholds, 3-SAT
3	Anna Formica	Finite Satisfiability of Integrity Constraints in Object-Oriented Database Schemas.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	constraint satisfiability (consistency), recursive schemas, axioms of infinity, equality constraints, object-oriented databases
3	Luís Guerra e Silva, João P. Marques Silva, Luis Miguel Silveira, Karem A. Sakallah	Satisfiability models and algorithms for circuit delay computation.	ACM Trans. Design Autom. Electr. Syst.	2002	DBLP DOI BibTeX RDF	circuit delay computation, timing analysis, Boolean satisfiability, delay modeling, false path
3	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
3	Edward A. Hirsch, Arist Kojevnikov	Solving Boolean Satisfiability Using Local Search Guided by Unit Clause Elimination.	CP	2001	DBLP DOI BibTeX RDF	local search, empirical evaluation, Boolean satisfiability
3	Emil Gizdarski, Hideo Fujiwara	Spirit: satisfiability problem implementation for redundancy identification and test generation.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	Boolean satisfiability method, SPIRIT, ATPG system, logic testing, computability, automatic test pattern generation, combinational circuits, combinational circuits, test pattern generation, test sets
3	Carlos Areces, Wiet Bouma, Maarten de Rijke	Feature Interaction as a Satisfiability Problem. (PDF / PS)	MASCOTS	1999	DBLP DOI BibTeX RDF	Satisfiability, Description Logics, Feature Interaction, Automated Deduction
3	João P. Marques Silva, Thomas Glass	Combinational Equivalence Checking Using Satisfiability and Recursive Learning.	DATE	1999	DBLP DOI BibTeX RDF	Boolean Satisfiability, Recursive Learning, Combinational Equivalence Checking
3	Habiba Drias	Randomness in Heuristics: An Experimental Investigation for the Maximum Satisfiability Problem.	IWANN	1999	DBLP DOI BibTeX RDF	genetic algorithm, heuristics, local search, randomness, tabu search, maximum satisfiability
3	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