Search results for "Satisfiability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Michael Korkin	Self-Organized Evolutionary Process in Sets of Interdependent Variables near the Midpoint of Phase Transition in K-Satisfiability.	ICES	2001	DBLP DOI BibTeX RDF
18	Enrico Giunchiglia, Marco Maratea, Armando Tacchella, Davide Zambonin	Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability.	IJCAR	2001	DBLP DOI BibTeX RDF
18	Poul Frederick Williams, Henrik Reif Andersen, Henrik Hulgaard	Satisfiability Checking Using Boolean Expression Diagrams.	TACAS	2001	DBLP DOI BibTeX RDF
18	Ramón Béjar, Alba Cabiscol, Cèsar Fernández, Felip Manyà, Carla P. Gomes	Capturing Structure with Satisfiability.	CP	2001	DBLP DOI BibTeX RDF
18	Inês Lynce, Luís Baptista, João Marques-Silva 0001	Towards Provably Complete Stochastic Search Algorithms for Satisfiability.	EPIA	2001	DBLP DOI BibTeX RDF
18	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
18	Jens Gottlieb, Nico Voss	Adaptive Fitness Functions for the Satisfiability Problem.	PPSN	2000	DBLP DOI BibTeX RDF
18	Alfredo Cruz	PLAtestGA: A CNF-Satisfiability Problem for the Generation of Test Vectors for Missing Faults in VLSI Circuits.	ISMIS	2000	DBLP DOI BibTeX RDF
18	Karem A. Sakallah, Fadi A. Aloul, João P. Marques Silva	An Experimental Study of Satisfiability Search Heuristics.	DATE	2000	DBLP DOI BibTeX RDF
18	Vasco M. Manquinho, João Marques-Silva 0001	On Using Satisfiability-Based Pruning Techniques in Covering Algorithms.	DATE	2000	DBLP DOI BibTeX RDF
18	Priyank Kalla, Zhihong Zeng, Maciej J. Ciesielski, ChiLai Huang	A BDD-Based Satisfiability Infrastructure Using the Unate Recursive Paradigm.	DATE	2000	DBLP DOI BibTeX RDF
18	Bart Selman	Satisfiability Testing: Recent Developments and Challenge Problems.	LICS	2000	DBLP DOI BibTeX RDF
18	Kazuo Iwama, Daisuke Kawai, Shuichi Miyazaki, Yasuo Okabe, Jun Umemoto	Parallelizing Local Search for CNF Satisfiability Using Vectorization and PVM.	WAE	2000	DBLP DOI BibTeX RDF
18	Esra Erdem 0001, Vladimir Lifschitz, Martin D. F. Wong	Wire Routing and Satisfiability Planning.	Computational Logic	2000	DBLP DOI BibTeX RDF
18	Mark J. Boyd, Tracy Larrabee	A Scalable, Loadable Custom Programmable Logic Device for Solving Boolean Satisfiability Problems.	FCCM	2000	DBLP DOI BibTeX RDF
18	Luís Baptista, João Marques-Silva 0001	Using Randomization and Learning to Solve Hard Real-World Instances of Satisfiability.	CP	2000	DBLP DOI BibTeX RDF
18	João Marques-Silva 0001	Algebraic Simplification Techniques for Propositional Satisfiability.	CP	2000	DBLP DOI BibTeX RDF
18	Edith Hemaspaandra	Modal Satisfiability Is in Deterministic Linear Space.	CSL	2000	DBLP DOI BibTeX RDF
18	Peixin Zhong, Margaret Martonosi, Pranav Ashar, Sharad Malik	Using configurable computing to accelerate Boolean satisfiability.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
18	Wojciech Plandowski	Satisfiability of Word Equations with Constants is in PSPACE.	FOCS	1999	DBLP DOI BibTeX RDF	word equations
18	Miron Abramovici, José T. de Sousa	A Virtual Logic Algorithm for Solving Satisfiability Problems Using Reconfigurable Hardware.	FCCM	1999	DBLP DOI BibTeX RDF
18	C. K. Chung, Philip Heng Wai Leong	An Architecture for Solving Boolean Satisfiability Using Runtime Configurable Hardware.	ICPP Workshops	1999	DBLP DOI BibTeX RDF
18	Oskar Mencer, Marco Platzner	Dynamic Circuit Generation for Boolean Satisfiability in an Object-Oriented Design Environment.	HICSS	1999	DBLP DOI BibTeX RDF
18	Gi-Joon Nam, Karem A. Sakallah, Rob A. Rutenbar	Satisfiability-Based Detailed FPGA Routing.	VLSI Design	1999	DBLP DOI BibTeX RDF
18	Michela Milano, Andrea Roli	Solving the Satisfiability Problem through Boolean Networks.	AI*IA	1999	DBLP DOI BibTeX RDF
18	R. Glenn Wood, Rob A. Rutenbar	FPGA routing and routability estimation via Boolean satisfiability.	IEEE Trans. Very Large Scale Integr. Syst.	1998	DBLP DOI BibTeX RDF
18	Jens Gottlieb, Nico Voss	Improving the Performance of Evolutionary Algorithms for the Satisfiability Problem by Refining Functions.	PPSN	1998	DBLP DOI BibTeX RDF
18	Peixin Zhong, Margaret Martonosi, Pranav Ashar, Sharad Malik	Solving Boolean Satisfiability with Dynamic Hardware Configurations.	FPL	1998	DBLP DOI BibTeX RDF
18	Azra Rashid, Jason Leonard, William H. Mangione-Smith	Dynamic Circuit Generation for Solving Specific Problem Instances of Boolean Satisfiability.	FCCM	1998	DBLP DOI BibTeX RDF
18	Gianluigi Folino, Clara Pizzuti, Giandomenico Spezzano	Solving the Satisfiability Problem by a Parallel Celluar Genetic Algorithm.	EUROMICRO	1998	DBLP DOI BibTeX RDF
18	Ian Horrocks 0001, Peter F. Patel-Schneider	Optimising Propositional Modal Satisfiability for Description Logic Subsumption.	AISC	1998	DBLP DOI BibTeX RDF
18	Jens Gottlieb, Nico Voss	Representations, Fitness Functions and Genetic Operators for the Satisfiability Problem.	Artificial Evolution	1997	DBLP DOI BibTeX RDF
18	Lance Fortnow	Nondeterministic Polynomial Time versus Nondeterministic Logarithmic Space: Time-Space Tradeoffs for Satisfiability.	CCC	1997	DBLP DOI BibTeX RDF
18	Takao Asano, Takao Ono, Tomio Hirata	Approximation Algorithms for the Maximum Satisfiability Problem.	SWAT	1996	DBLP DOI BibTeX RDF
18	Roberto Giaccio	On-line Algorithms for Satisfiability Problems with Uncertainty.	WG	1994	DBLP DOI BibTeX RDF
18	Paola Alimonti	New Local Search Approximation Techniques for Maximum Generalized Satisfiability Problems.	CIAC	1994	DBLP DOI BibTeX RDF
18	Mihalis Yannakakis	On the Approximation of Maximum Satisfiability.	SODA	1992	DBLP BibTeX RDF
18	Srimat T. Chakradhar, Vishwani D. Agrawal, Michael L. Bushnell, Thomas K. Truong	Neural Net and Boolean Satisfiability Models of Logic Circuits.	IEEE Des. Test Comput.	1990	DBLP DOI BibTeX RDF
12	Alessandro Armando, Jacopo Mantovani, Lorenzo Platania	Bounded model checking of software using SMT solvers instead of SAT solvers.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF
12	Michael Huth 0001, Orna Grumberg	Special section on advances in reachability analysis and decision procedures: contributions to abstraction-based system verification.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF	Bounded reachability, Bit-vector arithmetic, Abstraction, Asynchronous systems, Decision diagrams, Memory models, Decision problems
12	Matthias Baaz, Agata Ciabattoni, Norbert Preining	SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability.	WoLLIC	2009	DBLP DOI BibTeX RDF
12	Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann	Symbolic Query Exploration.	ICFEM	2009	DBLP DOI BibTeX RDF
12	Cherif R. Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary	Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions.	PEPM	2009	DBLP DOI BibTeX RDF	static array bounds checking, verilog elaboration, verilog wire width consistency, dependent types, dead code elimination
12	Khair Eddin Sabri, Ridha Khédri, Jason Jaskolka	Verification of Information Flow in Agent-Based Systems.	MCETECH	2009	DBLP DOI BibTeX RDF	Global calculus, Information Algebra, Agent Knowledge, Information Flow, Hoare Logic
12	Ahmet Kara 0002, Volker Weber, Martin Lange, Thomas Schwentick	On the Hybrid Extension of CTL and CTL+.	MFCS	2009	DBLP DOI BibTeX RDF
12	Tomi Janhunen, Ilkka Niemelä, Mark Sevalnev	Computing Stable Models via Reductions to Difference Logic.	LPNMR	2009	DBLP DOI BibTeX RDF
12	Marc Denecker, Joost Vennekens, Stephen Bond, Martin Gebser, Miroslaw Truszczynski	The Second Answer Set Programming Competition.	LPNMR	2009	DBLP DOI BibTeX RDF
12	Andreas Goerdt	On Random Ordering Constraints.	CSR	2009	DBLP DOI BibTeX RDF	random structures, Algorithms, logic, probabilistic analysis, ordering
12	Andreas Goerdt	On Random Betweenness Constraints.	FCT	2009	DBLP DOI BibTeX RDF	random structures, Algorithms, logic, probabilistic analysis
12	Feifei Ma, Sheng Liu, Jian Zhang 0001	Volume Computation for Boolean Combination of Linear Arithmetic Constraints.	CADE	2009	DBLP DOI BibTeX RDF
12	Linh Anh Nguyen, Andrzej Szalas	A Tableau Calculus for Regular Grammar Logics with Converse.	CADE	2009	DBLP DOI BibTeX RDF
12	Carsten Ihlemann, Viorica Sofronie-Stokkermans	System Description: H-PILoT.	CADE	2009	DBLP DOI BibTeX RDF	local theory extensions, hierarchical reasoning
12	Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier	A Schemata Calculus for Propositional Logic.	TABLEAUX	2009	DBLP DOI BibTeX RDF
12	Carlos Areces, Diego Figueira, Daniel Gorín, Sergio Mera	Tableaux and Model Checking for Memory Logics.	TABLEAUX	2009	DBLP DOI BibTeX RDF
12	Rajeev Goré, Florian Widmann	Sound Global State Caching for ALC with Inverse Roles.	TABLEAUX	2009	DBLP DOI BibTeX RDF
12	Sergey Babenyshev, Vladimir V. Rybakov	Temporal Logic for Modeling Discovery and Logical Uncertainty.	KES (2)	2009	DBLP DOI BibTeX RDF	decidability algorithms, Kripke/Hintikka models, temporal logic, uncertainty, chance discovery
12	Robert Brummayer, Armin Biere	Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays.	TACAS	2009	DBLP DOI BibTeX RDF
12	Uwe Keller, Stijn Heymans	Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm.	LFCS	2009	DBLP DOI BibTeX RDF
12	Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi	An Automata-Theoretic Approach to Regular XPath.	DBPL	2009	DBLP DOI BibTeX RDF
12	Marcílio Mendonça, Andrzej Wasowski, Krzysztof Czarnecki 0001	SAT-based analysis of feature models is easy.	SPLC	2009	DBLP BibTeX RDF
12	Enrico Giunchiglia, Marco Maratea	Improving Plan Quality in SAT-Based Planning.	AI*IA	2009	DBLP DOI BibTeX RDF
12	Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä	Partitioning Search Spaces of a Randomized Search.	AI*IA	2009	DBLP DOI BibTeX RDF
12	Nikolaj S. Bjørner, Leonardo Mendonça de Moura	Tapas: Theory Combinations and Practical Applications.	FORMATS	2009	DBLP DOI BibTeX RDF
12	Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir	Open answer set programming with guarded programs.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	fixed-point logic, open domains, Answer set programming
12	Zhenhua Duan, Cong Tian, Li Zhang	A decision procedure for propositional projection temporal logic with infinite models.	Acta Informatica	2008	DBLP DOI BibTeX RDF
12	Ruzica Piskac, Viktor Kuncak	Linear Arithmetic with Stars.	CAV	2008	DBLP DOI BibTeX RDF
12		Introduction.	Complexity of Constraints	2008	DBLP DOI BibTeX RDF
12	Muhammad Fahad 0011, Muhammad Abdul Qadir 0001, Syed Adnan Hussain Shah	Evaluation of Ontologies and DL Reasoners.	Intelligent Information Processing	2008	DBLP DOI BibTeX RDF
12	Felix Brandt 0001, Felix A. Fischer, Markus Holzer 0001	Equilibria of Graphical Games with Symmetries.	WINE	2008	DBLP DOI BibTeX RDF
12	Shaohua Liu, Junsheng Yu, Yinglong Ma, Xu Zhang, Xiaoming Liu, Hansheng Su	Prioritizing Default Rules Embedded in Description Logic Knowledge Base.	SNPD	2008	DBLP DOI BibTeX RDF
12	Jens Groth, Amit Sahai	Efficient Non-interactive Proof Systems for Bilinear Groups.	EUROCRYPT	2008	DBLP DOI BibTeX RDF	Non-interactive witness-indistinguishability, common reference string, non-interactive zero-knowledge, bilinear groups
12	Syed Zafar Shazli, Mehdi Baradaran Tahoori	Obtaining Microprocessor Vulnerability Factor Using Formal Methods.	DFT	2008	DBLP DOI BibTeX RDF
12	Lance Fortnow, Rahul Santhanam	Infeasibility of instance compression and succinct PCPs for NP.	STOC	2008	DBLP DOI BibTeX RDF	instance compression, succinct PCPs, cryptography, parameterized complexity, polynomial hierarchy
12	Rémi Brochenin, Stéphane Demri, Étienne Lozes	On the Almighty Wand.	CSL	2008	DBLP DOI BibTeX RDF
12	Ruzica Piskac, Viktor Kuncak	Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars.	CSL	2008	DBLP DOI BibTeX RDF	verification and program analysis, cardinality operator, mixed linear integer-rational arithmetic, fuzzy sets, sets, multisets
12	Nathan Segerlind	On the Relative Efficiency of Resolution-Like Proofs and Ordered Binary Decision Diagram Proofs.	CCC	2008	DBLP DOI BibTeX RDF	lower bounds, resolution, ordered binary decision diagrams, propositional proof complexity
12	Joël Ouaknine, James Worrell 0001	Some Recent Results in Metric Temporal Logic.	FORMATS	2008	DBLP DOI BibTeX RDF
12	Alexander Rabinovich	Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities.	FORMATS	2008	DBLP DOI BibTeX RDF
12	Patrick Traxler	The Time Complexity of Constraint Satisfaction.	IWPEC	2008	DBLP DOI BibTeX RDF
12	Viorica Sofronie-Stokkermans	On unification for bounded distributive lattices.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	decision procedures for the positive theory, Theorem proving, unification, distributive lattices, SAT solving
12	Zhi-Hong Tao, Conghua Zhou, Zhong Chen, Lifu Wang	Bounded Model Checking of CTL.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	symbolic model checking, bounded model checking, QBF, CTL*
12	Colin Cooper, Alan M. Frieze, Gregory B. Sorkin	Random 2-SAT with Prescribed Literal Degrees.	Algorithmica	2007	DBLP DOI BibTeX RDF
12	Joseph Y. Halpern, Riccardo Pucella	Characterizing and reasoning about probabilistic and non-probabilistic expectation.	J. ACM	2007	DBLP DOI BibTeX RDF	Dempster-Shafer belief functions, probability theory, Expectation, possibility measures
12	Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Sais	Eliminating Redundant Clauses in SAT Instances.	CPAIOR	2007	DBLP DOI BibTeX RDF
12	Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato	Preferential Description Logics.	LPAR	2007	DBLP DOI BibTeX RDF
12	Stéphane Demri, Alexander Rabinovich	The Complexity of Temporal Logic with Until and Since over Ordinals.	LPAR	2007	DBLP DOI BibTeX RDF
12	Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Ziyad Hanna, Alexander Nadel, Amit Palti, Roberto Sebastiani	A Lazy and Layered SMT($\mathcal{BV}$) Solver for Hard Industrial Verification Problems.	CAV	2007	DBLP DOI BibTeX RDF
12	Kunal P. Ganeshpure, Sandip Kundu	Interactive presentation: Automatic test pattern generation for maximal circuit noise in multiple aggressor crosstalk faults.	DATE	2007	DBLP DOI BibTeX RDF
12	Victor V. Toporkov	Dataflow Analysis of Distributed Programs Using Generalized Marked Nets.	DepCoS-RELCOMEX	2007	DBLP DOI BibTeX RDF
12	Marcin Jurdzinski, Ranko Lazic 0001	Alternation-free modal mu-calculus for data trees.	LICS	2007	DBLP DOI BibTeX RDF
12	Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell 0001	The Cost of Punctuality.	LICS	2007	DBLP DOI BibTeX RDF
12	Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. Hu, Alessandro Cimatti	Verifying Heap-Manipulating Programs in an SMT Framework.	ATVA	2007	DBLP DOI BibTeX RDF
12	Stefan Göller, Markus Lohrey, Carsten Lutz	PDL with Intersection and Converse Is 2 EXP-Complete.	FoSSaCS	2007	DBLP DOI BibTeX RDF
12	Lionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais	From Horn Strong Backdoor Sets to Ordered Strong Backdoor Sets.	MICAI	2007	DBLP DOI BibTeX RDF
12	Artiom Alhazov, Mario J. Pérez-Jiménez	Uniform Solution of.	MCU	2007	DBLP DOI BibTeX RDF
12	Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub	Conflict-Driven Answer Set Enumeration.	LPNMR	2007	DBLP DOI BibTeX RDF
12	Todd Deshane, Wenjin Hu, Patty Jablonski, Hai Lin 0005, Christopher Lynch, Ralph Eric McGregor	Encoding First Order Proofs in SAT.	CADE	2007	DBLP DOI BibTeX RDF
12	Thomas Schwentick, Volker Weber	Bounded-Variable Fragments of Hybrid Logics.	STACS	2007	DBLP DOI BibTeX RDF
12	Ahmed Bouajjani, Yan Jurski, Mihaela Sighireanu	A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes.	TACAS	2007	DBLP DOI BibTeX RDF
12	Éric Grégoire, Bertrand Mazure, Cédric Piette	MUST: Provide a Finer-Grained Explanation of Unsatisfiability.	CP	2007	DBLP DOI BibTeX RDF	unsatisfiability, MUC, MUS, MUST, CSP, explanation, constraint networks