Search results for "DPLL"

Found 317 publication records. Showing 317 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Jinbo Huang, Adnan Darwiche	Toward Good Elimination Orders for Symbolic SAT Solving.	ICTAI	2004	DBLP DOI BibTeX RDF
13	Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella	Monotone Literals and Learning in QBF Reasoning.	CP	2004	DBLP DOI BibTeX RDF
13	Zhao Xing, Weixiong Zhang	Efficient Strategies for (Weighted) Maximum Satisfiability.	CP	2004	DBLP DOI BibTeX RDF
13	Ganapathy Parthasarathy, Madhu K. Iyer, Kwang-Ting Cheng, Li-C. Wang	An efficient finite-domain constraint solver for circuits.	DAC	2004	DBLP DOI BibTeX RDF	bit-vector arithmetic, constraints, integer linear programming, decision procedures, boolean satisfiability, circuits, design verification
13	Ohad Shacham, Emmanuel Zarpas	Tuning the VSIDS Decision Heuristic for Bounded Model Checking.	MTV	2003	DBLP DOI BibTeX RDF
13	Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi	Algorithms and Complexity Results for #SAT and Bayesian Inference.	FOCS	2003	DBLP DOI BibTeX RDF
13	Gilles Dequen, Olivier Dubois 0002	kcnfs: An Efficient Solver for Random k-SAT Formulae.	SAT	2003	DBLP DOI BibTeX RDF
13	Lyndon Drake, Alan M. Frisch	The Interaction Between Inference and Branching Heuristics.	SAT	2003	DBLP DOI BibTeX RDF
13	Daniel Le Berre, Laurent Simon, Armando Tacchella	Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers.	SAT	2003	DBLP DOI BibTeX RDF
13	Ashish Sabharwal, Paul Beame, Henry A. Kautz	Using Problem Structure for Efficient Clause Learning.	SAT	2003	DBLP DOI BibTeX RDF
13	Fahiem Bacchus, Jonathan Winter	Effective Preprocessing with Hyper-Resolution and Equality Reduction.	SAT	2003	DBLP DOI BibTeX RDF
13	Xiao Yu Li, Matthias F. M. Stallmann, Franc Brglez	A Local Search SAT Solver Using an Effective Switching Strategy and an Efficient Unit Propagation.	SAT	2003	DBLP DOI BibTeX RDF
13	Reinhold Letz	Lemma and Model Caching in Decision Procedures for Quantified Boolean Formulas.	TABLEAUX	2002	DBLP DOI BibTeX RDF
13	Mariusz Flasinski	Automata-Based Multi-agent Model as a Tool for Constructing Real-Time Intelligent Control Systems.	CEEMAS	2001	DBLP DOI BibTeX RDF
13	Luis Fariñas del Cerro, David Fauthoux, Olivier Gasquet, Andreas Herzig, Dominique Longin, Fabio Massacci	Lotrec : The Generic Tableau Prover for Modal and Description Logics.	IJCAR	2001	DBLP DOI BibTeX RDF
13	Ten-Szu Chen, Der-Zheng Liu, Che-Ho Wei	Combined carrier phase tracking and equalization for pi/4-DQPSK signals in mobile radio.	ISCAS (3)	1999	DBLP DOI BibTeX RDF
13	Fabio Massacci	Simplification: A General Constraint Propagation Technique for Propositional and Modal Tableaux.	TABLEAUX	1998	DBLP DOI BibTeX RDF

Displaying result #301 - #317 of 317 (100 per page; Change: )
Pages: [<<][1][2][3][4]