Search results for "QBF"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Paolo Marin, Christian Miller, Matthew Lewis 0004, Bernd Becker 0001	Verification of partial designs using incremental QBF solving.	DATE	2012	DBLP DOI BibTeX RDF
19	Huan Chen 0001, Mikolás Janota, João Marques-Silva 0001	QBf-based boolean function bi-decomposition.	DATE	2012	DBLP DOI BibTeX RDF
19	Sven Reimer, Florian Pigorsch, Christoph Scholl 0001, Bernd Becker 0001	Enhanced Integration of QBF Solving Techniques.	MBMV	2012	DBLP BibTeX RDF
19	Martina Seidl, Florian Lonsing, Armin Biere	qbf2epr: A Tool for Generating EPR Formulas from QBF.	PAAR@IJCAR	2012	DBLP DOI BibTeX RDF
19	Mikolás Janota, William Klieber, João Marques-Silva 0001, Edmund M. Clarke	Solving QBF with Counterexample Guided Refinement.	SAT	2012	DBLP DOI BibTeX RDF
19	Paolo Marin, Christian Miller, Bernd Becker 0001	Incremental QBF Preprocessing for Partial Design Verification - (Poster Presentation).	SAT	2012	DBLP DOI BibTeX RDF
19	Aina Niemetz, Mathias Preiner, Florian Lonsing, Martina Seidl, Armin Biere	Resolution-Based Certificate Extraction for QBF - (Tool Presentation).	SAT	2012	DBLP DOI BibTeX RDF
19	Ofer Arieli, Martin W. A. Caminada	A General QBF-based Formalization of abstract Argumentation Theory.	COMMA	2012	DBLP DOI BibTeX RDF
19	Shuyuan Zhang, Abdulrahman Mahmoud, Sharad Malik, Sanjai Narain	Verification and synthesis of firewalls using SAT and QBF.	ICNP	2012	DBLP DOI BibTeX RDF
19	Matthew Lewis 0004, Tobias Schubert 0001, Bernd Becker 0001, Paolo Marin, Massimo Narizzano, Enrico Giunchiglia	Parallel QBF Solving with Advanced Knowledge Sharing.	Fundam. Informaticae	2011	DBLP DOI BibTeX RDF
19	Huan Chen 0001, Mikolás Janota, João Marques-Silva 0001	QBF-Based Boolean Function Bi-Decomposition	CoRR	2011	DBLP BibTeX RDF
19	Valeriy Balabanov, Jie-Hong R. Jiang	Resolution Proofs and Skolem Functions in QBF Evaluation and Applications.	CAV	2011	DBLP DOI BibTeX RDF
19	Sven Reimer, Florian Pigorsch, Christoph Scholl 0001, Bernd Becker 0001	Integration of orthogonal QBF solving techniques.	DATE	2011	DBLP DOI BibTeX RDF
19	Thomas Brihaye, Véronique Bruyère, Laurent Doyen 0001, Marc Ducobu, Jean-François Raskin	Antichain-Based QBF Solving.	ATVA	2011	DBLP DOI BibTeX RDF
19	Armin Biere, Florian Lonsing, Martina Seidl	Blocked Clause Elimination for QBF.	CADE	2011	DBLP DOI BibTeX RDF
19	Florian Lonsing, Armin Biere	Failed Literal Detection for QBF.	SAT	2011	DBLP DOI BibTeX RDF
19	Ramana Kumar, Tjark Weber	Validating QBF Validity in HOL4.	ITP	2011	DBLP DOI BibTeX RDF
19	Mikolás Janota, João Marques-Silva 0001	On Deciding MUS Membership with QBF.	CP	2011	DBLP DOI BibTeX RDF
19	Oswaldo Olivo, E. Allen Emerson	A More Efficient BDD-Based QBF Solver.	CP	2011	DBLP DOI BibTeX RDF
19	Alexandra Goultiaeva, Allen Van Gelder, Fahiem Bacchus	A Uniform Approach for Generating Proofs and Strategies for Both True and False QBF Formulas.	IJCAI	2011	DBLP DOI BibTeX RDF
19	Matthew Lewis 0004	SAT, QBF, and multicore processors.		2011	RDF
19	Luca Pulina, Armando Tacchella	An Empirical Study of QBF Encodings: from Treewidth Estimation to Useful Preprocessing.	Fundam. Informaticae	2010	DBLP DOI BibTeX RDF
19	Florian Lonsing, Armin Biere	DepQBF: A Dependency-Aware QBF Solver.	J. Satisf. Boolean Model. Comput.	2010	DBLP DOI BibTeX RDF
19	Hratch Mangassarian, Bao Le, Alexandra Goultiaeva, Andreas G. Veneris, Fahiem Bacchus	Leveraging dominators for preprocessing QBF.	DATE	2010	DBLP DOI BibTeX RDF
19	Rahul Santhanam	Fighting Perebor: New and Improved Algorithms for Formula and QBF Satisfiability.	FOCS	2010	DBLP DOI BibTeX RDF
19	Alexandra Goultiaeva, Fahiem Bacchus	Exploiting QBF Duality on a Circuit Representation.	AAAI	2010	DBLP DOI BibTeX RDF
19	Florian Lonsing, Armin Biere	Integrating Dependency Schemes in Search-Based QBF Solvers.	SAT	2010	DBLP DOI BibTeX RDF
19	Robert Brummayer, Florian Lonsing, Armin Biere	Automated Testing and Debugging of SAT and QBF Solvers.	SAT	2010	DBLP DOI BibTeX RDF
19	William Klieber, Samir Sapra, Sicun Gao, Edmund M. Clarke	A Non-prenex, Non-clausal QBF Solver with Game-State Learning.	SAT	2010	DBLP DOI BibTeX RDF
19	Alexandra Goultiaeva, Fahiem Bacchus	Exploiting Circuit Representations in QBF Solving.	SAT	2010	DBLP DOI BibTeX RDF
19	Claudia Peschiera, Luca Pulina, Armando Tacchella, Uwe Bubeck, Oliver Kullmann, Inês Lynce	The Seventh QBF Solvers Evaluation (QBFEVAL'10).	SAT	2010	DBLP DOI BibTeX RDF
19	André Sülflow, Görschwin Fey, Rolf Drechsler	Using QBF to increase accuracy of SAT-based debugging.	ISCAS	2010	DBLP DOI BibTeX RDF
19	Tjark Weber	Validating QBF Invalidity in HOL4.	ITP	2010	DBLP DOI BibTeX RDF
19	Benoit Da Mota, Pascal Nicolas, Igor Stéphan	A new parallel architecture for QBF tools.	HPCS	2010	DBLP DOI BibTeX RDF
19	Enrico Giunchiglia, Kostas Stergiou 0001	Introduction to the special issue on quantified CSPs and QBF.	Constraints An Int. J.	2009	DBLP DOI BibTeX RDF
19	Florian Pigorsch, Christoph Scholl 0001	Exploiting structure in an AIG based QBF solver.	DATE	2009	DBLP DOI BibTeX RDF
19	Matthew Lewis 0004, Tobias Schubert 0001, Bernd Becker 0001	QmiraXT - A Multithreaded QBF Solver.	MBMV	2009	DBLP BibTeX RDF
19	Paolo Marin, Massimo Narizzano, Enrico Giunchiglia, Matthew Lewis 0004, Tobias Schubert 0001, Bernd Becker 0001	Comparison of knowledge sharing strategies in a parallel QBF solver.	HPCS	2009	DBLP DOI BibTeX RDF
19	Paolo Marin, Matthew Lewis 0004, Tobias Schubert 0001, Massimo Narizzano, Bernd Becker 0001, Enrico Giunchiglia	Evaluation of Knowledge Sharing Strategies in a Parallel QBF Solver.	RCRA@AI*IA	2009	DBLP BibTeX RDF
19	Anja Remshagen, Klaus Truemper	An Alternative Representation for QBF.	IC-AI	2009	DBLP BibTeX RDF
19	Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider 0002, Petra Selmer, Frank Wolter, Michael Zakharyaschev	Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers.	IJCAI	2009	DBLP BibTeX RDF
19	Shikun Chen, Zhoujun Li 0001, Mengjun Li	Constructing Program Invariants via Solving QBF.	TASE	2009	DBLP DOI BibTeX RDF
19	Florian Lonsing, Armin Biere	Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers.	MEMICS	2008	DBLP DOI BibTeX RDF
19	Marco Benedetti, Hratch Mangassarian	QBF-Based Formal Verification: Experience and Perspectives.	J. Satisf. Boolean Model. Comput.	2008	DBLP DOI BibTeX RDF
19	Marco Maratea, Francesco Ricca, Wolfgang Faber 0001, Nicola Leone	Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers.	J. Algorithms	2008	DBLP DOI BibTeX RDF
19	Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev	Checking DL-Lite Modularity with QBF Solvers.	Description Logics	2008	DBLP BibTeX RDF
19	Horst Samulowitz, Roland Memisevic	Learning to Solve QBF.	AAAI	2007	DBLP BibTeX RDF
19	Jussi Rintanen	Asymptotically Optimal Encodings of Conformant Planning in QBF.	AAAI	2007	DBLP BibTeX RDF
19	Massimo Narizzano, Luca Pulina, Armando Tacchella	Ranking and Reputation Systems in the QBF Competition.	AI*IA	2007	DBLP DOI BibTeX RDF
19	Toni Jussila, Armin Biere	Compressing BMC Encodings with QBF.	BMC@FLoC	2006	DBLP DOI BibTeX RDF
19	Massimo Narizzano, Luca Pulina, Armando Tacchella	Report of the Third QBF Solvers Evaluation.	J. Satisf. Boolean Model. Comput.	2006	DBLP DOI BibTeX RDF
19	Lintao Zhang	Solving QBF by Combining Conjunctive and Disjunctive Normal Forms.	AAAI	2006	DBLP BibTeX RDF
19	Marco Benedetti	Hybrid Evaluation Procedures for QBF.	Intelligenza Artificiale	2005	DBLP BibTeX RDF
19	Carlos Ansótegui, Carla P. Gomes, Bart Selman	The Achilles' Heel of QBF.	AAAI	2005	DBLP BibTeX RDF
19	Charles Otwell, Anja Remshagen, Klaus Truemper	An Effective QBF Solver for Planning Problems.	MSV/AMCS	2004	DBLP BibTeX RDF
19	Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella	QBF Reasoning on Real-World Instances.	SAT	2004	DBLP BibTeX RDF
19	Francesco M. Donini, Paolo Liberatore, Fabio Massacci, Marco Schaerf	Solving QBF by SMV.	KR	2002	DBLP BibTeX RDF
19	Bengt Aspvall, Christos Levcopoulos, Andrzej Lingas, Robert Storlind	On 2-QBF Truth Testing in Parallel.	Inf. Process. Lett.	1996	DBLP DOI BibTeX RDF
15	Marko Samer, Stefan Szeider	Backdoor Sets of Quantified Boolean Formulas.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Backdoor sets, Variable dependencies, Parameterized complexity, Quantified Boolean formulas
15	Luca Pulina, Armando Tacchella	Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas.	FroCoS	2009	DBLP DOI BibTeX RDF
15	Luca Pulina, Armando Tacchella	QuBIS: An (In)complete Solver for Quantified Boolean Formulas.	MICAI	2008	DBLP DOI BibTeX RDF
15	Ofer Arieli	Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	Paraconsistent and nonmonotonic reasoning, preferential semantics, quantified Boolean formulae
15	Gérard Basler, Daniel Kroening, Georg Weissenbacher	SAT-Based Summarization for Boolean Programs.	SPIN	2007	DBLP DOI BibTeX RDF
15	Hillel Kugler, Amir Pnueli, Michael J. Stern, E. Jane Albert Hubbard	"Don't Care" Modeling: A Logical Framework for Developing Predictive System Models.	TACAS	2007	DBLP DOI BibTeX RDF
15	Luca Pulina, Armando Tacchella	A Multi-engine Solver for Quantified Boolean Formulas.	CP	2007	DBLP DOI BibTeX RDF
15	Massimo Narizzano, Luca Pulina, Armando Tacchella	The QBFEVAL Web Portal.	JELIA	2006	DBLP DOI BibTeX RDF
15	Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe	A Branching Heuristics for Quantified Renamable Horn Formulas.	SAT	2005	DBLP DOI BibTeX RDF
15	Shin Aida, Marcel Crâsmaru, Kenneth W. Regan, Osamu Watanabe 0001	Games with Uniqueness Properties.	Theory Comput. Syst.	2004	DBLP DOI BibTeX RDF
15	Marco Benedetti	Evaluating QBFs via Symbolic Skolemization.	LPAR	2004	DBLP DOI BibTeX RDF
15	Ganesh Gopalakrishnan, Yue Yang, Hemanthkumar Sivaraj	QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings.	CAV	2004	DBLP DOI BibTeX RDF
15	Alan Skelley	Propositional PSPACE Reasoning with Boolean Programs Versus Quantified Boolean Formulas.	ICALP	2004	DBLP DOI BibTeX RDF
15	Petr Sosík	The computational power of cell division in P systems: Beating down parallel computers?	Nat. Comput.	2003	DBLP DOI BibTeX RDF	Second Machine Class, membrane computing, P system
15	Hans Kleine Büning, K. Subramani 0001, Xishun Zhao	On Boolean Models for Quantified Boolean Horn Formulas.	SAT	2003	DBLP DOI BibTeX RDF
15	Shin Aida, Marcel Crâsmaru, Kenneth W. Regan, Osamu Watanabe 0001	Games with a Uniqueness Property.	STACS	2002	DBLP DOI BibTeX RDF
15	David Pearce 0001, Hans Tompits, Stefan Woltran	Encodings for Equilibrium Logic and Logic Programs with Nested Expressions.	EPIA	2001	DBLP DOI BibTeX RDF
15	Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella	An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability.	AI*IA	2001	DBLP DOI BibTeX RDF
15	Ke Yang	Integer Circuit Evaluation is PSPACE-Complete.	CCC	2000	DBLP DOI BibTeX RDF	Integer Circuit, Chinese Remainder Theorem, PSPACE
15	Ronald Cramer, Ivan Damgård	Zero-Knowledge Proofs for Finite Field Arithmetic; or: Can Zero-Knowledge be for Free?	CRYPTO	1998	DBLP DOI BibTeX RDF
15	Jean Marc Couveignes, Juan Francisco Díaz-Frías, Michel de Rougemont, Miklos Santha	On the Interactive Complexity of Graph Reliability.	FSTTCS	1994	DBLP DOI BibTeX RDF