Search results for "Decision-procedures"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
56	Predrag Janicic, Alan Bundy, Ian Green	A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers.	CADE	1999	DBLP DOI BibTeX RDF
55	Nikolaj S. Bjørner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov	10161 Executive Summary - Decision Procedures in Software, Hardware and Bioware.	Decision Procedures in Software, Hardware and Bioware	2010	DBLP BibTeX RDF
55	Nikolaj S. Bjørner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov	10161 Abstracts Collection - Decision Procedures in Software, Hardware and Bioware.	Decision Procedures in Software, Hardware and Bioware	2010	DBLP BibTeX RDF
55	Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis	07401 Executive Summary -- Deduction and Decision Procedures.	Deduction and Decision Procedures	2007	DBLP BibTeX RDF
55	René Thiemann, Jürgen Giesl, Peter Schneider-Kamp	Decision Procedures for Loop Detection.	Deduction and Decision Procedures	2007	DBLP BibTeX RDF
55	Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis	07401 Abstracts Collection -- Deduction and Decision Procedures.	Deduction and Decision Procedures	2007	DBLP BibTeX RDF
44	Alessandro Armando, Silvio Ranise, Michaël Rusinowitch	Uniform Derivation of Decision Procedures by Superposition.	CSL	2001	DBLP DOI BibTeX RDF	Arrays with Extensionality, Term Rewriting, Decision Procedures, Homomorphism, Automated Deduction, Lists, Superposition, Equational Logic
42	Jeffrey Van Baalen, Steve Roach	Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems.	LOPSTR	1998	DBLP DOI BibTeX RDF
41	Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub	Building Decision Procedures in the Calculus of Inductive Constructions.	CSL	2007	DBLP DOI BibTeX RDF	Calculus of Inductive Constructions, Decision procedures, Theorem provers
41	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
41	Nikolaj S. Bjørner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov (eds.)	Decision Procedures in Software, Hardware and Bioware, 18.04. - 23.04.2010	Decision Procedures in Software, Hardware and Bioware	2010	DBLP BibTeX RDF
41	Grant Olney Passmore, Leonardo Mendonça de Moura, Paul B. Jackson	Gröbner Basis Construction Algorithms Based on Theorem Proving Saturation Loops.	Decision Procedures in Software, Hardware and Bioware	2010	DBLP BibTeX RDF
41	Jürgen Christ, Jochen Hoenicke	Instantiation-Based Interpolation for Quantified Formulae.	Decision Procedures in Software, Hardware and Bioware	2010	DBLP BibTeX RDF
41	Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis (eds.)	Deduction and Decision Procedures, 30.09. - 05.10.2007	Deduction and Decision Procedures	2007	DBLP BibTeX RDF
41	Peter Schneider-Kamp, Carsten Fuhs, René Thiemann, Jürgen Giesl, Elena Annov, Michael Codish, Aart Middeldorp, Harald Zankl	Implementing RPO and POLO using SAT.	Deduction and Decision Procedures	2007	DBLP BibTeX RDF
41	Viorica Sofronie-Stokkermans, Carsten Ihlemann, Swen Jacobs	Local Theory Extensions, Hierarchical Reasoning and Applications to Verification.	Deduction and Decision Procedures	2007	DBLP BibTeX RDF
41	Silvio Ghilardi, Silvio Ranise, Enrica Nicolini, Daniele Zucchelli	From Non-Disjoint Combination to Satisfiability and Model-Checking of Infinite State Systems.	Deduction and Decision Procedures	2007	DBLP BibTeX RDF
41	Jürgen Giesl, Peter Schneider-Kamp, René Thiemann, Stephan Swiderski, Manh Thang Nguyen, Danny De Schreye, Alexander Serebrenik	Termination of Programs using Term Rewriting and SAT Solving.	Deduction and Decision Procedures	2007	DBLP BibTeX RDF
37	Fausto Giunchiglia, Roberto Sebastiani	Building Decision Procedures for Modal Logics from Propositional Decision Procedure - The Case Study of Modal K.	CADE	1996	DBLP DOI BibTeX RDF
37	Sanjit A. Seshia, Shuvendu K. Lahiri, Randal E. Bryant	A hybrid SAT-based decision procedure for separation logic with uninterpreted functions.	DAC	2003	DBLP DOI BibTeX RDF	theorem proving, decision procedures, boolean satisfiability, design verification
35	Predrag Janicic, Alan Bundy	Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic.	Calculemus/MKM	2007	DBLP DOI BibTeX RDF
34	Frank Hutter, Domagoj Babic, Holger H. Hoos, Alan J. Hu	Boosting Verification by Automatic Tuning of Decision Procedures.	FMCAD	2007	DBLP DOI BibTeX RDF	Search Parameter Optimization, Decision Procedures, Boolean Satisfiability
34	Domenico Cantone, Vincenzo Cutello	Decision Procedures for Stratified Set-Theoretic Syllogistics.	ISSAC	1993	DBLP DOI BibTeX RDF	Multi-sorted languages, Set Theory, Decision Procedures
33	Allen Van Gelder	Independently Checkable Proofs from Decision Procedures: Issues and Progress.	LPAR	2005	DBLP DOI BibTeX RDF
33	Shuvendu K. Lahiri, Thomas Ball, Byron Cook	Predicate Abstraction via Symbolic Decision Procedures.	CAV	2005	DBLP DOI BibTeX RDF
33	Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan A. Brady	An abstraction-based decision procedure for bit-vector arithmetic.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF	Decision-procedures, Bit-vector
33	Cesare Tinelli, Calogero G. Zarba	Combining Nonstably Infinite Theories.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	combination of decision procedures, Nelson-Oppen method
31	Ting Zhang 0001, Henny B. Sipma, Zohar Manna	Decision Procedures for Recursive Data Structures with Integer Constraints.	IJCAR	2004	DBLP DOI BibTeX RDF
31	Deepak Kapur	A Rewrite Rule Based Framework for Combining Decision Procedures.	FroCoS	2002	DBLP DOI BibTeX RDF
31	Alexander Leitsch	Decision Procedures and Model Building, or How to Improve Logical Information in Automated Deduction.	FTP (LNCS Selection)	1998	DBLP DOI BibTeX RDF
31	Roberto Sebastiani, Adolfo Villafiorita	SAT-Based Decision Procedures for Normal Modal Logics: A Theoretical Framework.	AIMSA	1998	DBLP DOI BibTeX RDF
31	E. Allen Emerson, Jai Srinivasan	Branching time temporal logic.	REX Workshop	1988	DBLP DOI BibTeX RDF	Modal and Temporal Logic: Branching time temporal logic, linear time temporal logic, model checking - Logics of Programs: Reasoning about concurrent programs, specification of and reasoning about fairness - Software Engineering: Specification techniques, automated verification techniques - Computational Complexity, Automata Theory: Finite-state automata on infinite objects, program verification, satisfiability, decidability, expressiveness, decision procedures, dynamic logics, tree automata, axiomatics, program specification, mechanical synthesis
30	Greg Nelson, Derek C. Oppen	Fast Decision Procedures Based on Congruence Closure.	J. ACM	1980	DBLP DOI BibTeX RDF
29	Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli	Decision procedures for extensions of the theory of arrays.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T27, 03B25, 03B70, 68T15
29	Ullrich Hustadt, Boris Motik, Ulrike Sattler	A Decomposition Rule for Decision Procedures by Resolution-Based Calculi.	LPAR	2004	DBLP DOI BibTeX RDF
29	William H. Joyner Jr.	Resolution Strategies as Decision Procedures.	J. ACM	1976	DBLP DOI BibTeX RDF
29	Jonathan S. Ostroff	Deciding Properties of Timed Transition Models.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	parallel program design, timed transition models, finite-state TTM, system reachability graph, eventuality, real-time response specifications, real-time systems, formal specification, parallel programming, petri nets, invariance, decidability, programming theory, decision procedures, formal logic, precedence, real-time temporal logic
28	Benjamin Farinier	Decision procedures for vulnerability analysis. (Procédures de décision pour l'analyse de vulnérabilités).		2020	RDF
28	Martin Bromberger	Decision Procedures for Linear Arithmetic. (Quelques procédures de décision pour l'arithmétique linéaire).		2019	RDF
28	Rosemary Monahan	Daniel Kroening and Ofer Strichman: Decision procedures - Springer Verlag, 2016, XXI, +356 ISBN 978-3-662-50496-3 (Hardback, €69, 67), http: //www.decision-procedures.org/.	Formal Aspects Comput.	2018	DBLP DOI BibTeX RDF
28	Joseph Boudou	Decision procedures for modal logics of actions, resources and concurrency. (Procédures de décision pour des logiques modales d'actions, de ressources et de concurrence).		2016	RDF
28	Claire Dross	Generic decision procedures for axiomatic first-order theories. (Procédures de décision génériques pour des théories axiomatiques du premier ordre).		2014	RDF
28	Julien Henry	Static Analysis by Abstract Interpretation and Decision Procedures. (Analyse statique de programme par interprétation abstraite et procédures de décision).		2014	RDF
28	Elena Tushkanova	Schematic calculi for the analysis of decision procedures. (Calculs schématiques pour l'analyse de procédures de décision).		2013	RDF
28	Diego Caminha Barbosa De Oliveira	Fragments de l'arithmétique dans une combinaison de procédures de décision. (Fragments of arithmetic in a combination of decision procedures).		2011	RDF
28	Pierre-Yves Strub	Type Theory and Decision Procedures. (Théorie des Types et Procédures de Décision).		2008	RDF
28	Duc-Khanh Tran	Conception de Procédures de Décision par Combinaison et Saturation. (Design of decision procedures by combination and saturation)		2007	RDF
28	Robert Klapper, Aaron Stump	Validated Proof-Producing Decision Procedures.	D/PDPAR@IJCAR	2004	DBLP DOI BibTeX RDF
28	Fausto Giunchiglia, Roberto Sebastiani	Building Decision Procedures for Modal Logics from Propositional Decision Procedures: The Case Study of Modal K(m).	Inf. Comput.	2000	DBLP DOI BibTeX RDF
28	Clark W. Barrett, David L. Dill, Aaron Stump	A Framework for Cooperating Decision Procedures.	CADE	2000	DBLP DOI BibTeX RDF
27	André Platzer, Jan-David Quesel, Philipp Rümmer	Real World Verification.	CADE	2009	DBLP DOI BibTeX RDF	hybrid systems, software verification, decision procedures, Real-closed fields
27	Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea	The SAT-based Approach to Separation Logic.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	SAT-based decision procedures, separation logic
27	Jörg Lücke	Hilberticus - A Tool Deciding an Elementary Sublanguage of Set Theory.	IJCAR	2001	DBLP DOI BibTeX RDF	First-Order Logic, Set Theory, Decision Procedures
27	Ricardo Caferra, Nicolas Zabel	Extending Resolution for Model Construction.	JELIA	1990	DBLP DOI BibTeX RDF	Equational Problems, Disunification, Theorem Proving, Decision Procedures, Unification, Model Construction
27	Richard J. Boulton	Combining Decision Procedures in the HOL System.	TPHOLs	1995	DBLP DOI BibTeX RDF
27	Natarajan Shankar	Little Engines of Proof.	FME	2002	DBLP DOI BibTeX RDF
26	Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter	Complete functional synthesis.	PLDI	2010	DBLP DOI BibTeX RDF	bapa, synthesis procedure, decision procedure, presburger arithmetic
26	Philippe Suter, Mirco Dotta, Viktor Kuncak	Decision procedures for algebraic data types with abstractions.	POPL	2010	DBLP DOI BibTeX RDF	data structure, decision procedure, algebraic data type, catamorphism
25	Rastislav Bodík	Algorithmic Program Synthesis with Partial Programs and Decision Procedures.	SAS	2009	DBLP DOI BibTeX RDF
25	Aarti Gupta	Software Verification: Roles and Challenges for Automatic Decision Procedures.	IJCAR	2008	DBLP DOI BibTeX RDF
25	Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub	From Formal Proofs to Mathematical Proofs: A Safe, Incremental Way for Building in First-order Decision Procedures.	IFIP TCS	2008	DBLP DOI BibTeX RDF
25	Yasuhiko Minamide	Verified Decision Procedures on Context-Free Grammars.	TPHOLs	2007	DBLP DOI BibTeX RDF
25	Panagiotis Manolios, Sudarshan K. Srinivasan	A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures.	J. Autom. Reason.	2006	DBLP DOI BibTeX RDF	pipelined machines, bit-level, verification, refinement, automated reasoning, ACL2
25	Alessandro Cimatti, Roberto Sebastiani	Building Efficient Decision Procedures on Top of SAT Solvers.	SFM	2006	DBLP DOI BibTeX RDF
25	Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella	SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
25	Leonardo Mendonça de Moura, Harald Rueß	An Experimental Evaluation of Ground Decision Procedures.	CAV	2004	DBLP DOI BibTeX RDF
25	Filip Maric, Predrag Janicic	argo-lib: A Generic Platform for Decision Procedures.	IJCAR	2004	DBLP DOI BibTeX RDF
25	Enrico Giunchiglia, Armando Tacchella	System Description: *SAT: A Platform for the Development of Modal Decision Procedures.	CADE	2000	DBLP DOI BibTeX RDF
25	Michael Colón, Tomás E. Uribe	Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures.	CAV	1998	DBLP DOI BibTeX RDF
25	Nikolaj S. Bjørner, Mark E. Stickel, Tomás E. Uribe	A Practical Integration of First-Order Reasoning and Decision Procedures.	CADE	1997	DBLP DOI BibTeX RDF
25	Franz Baader, Klaus U. Schulz	Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures.	CADE	1992	DBLP DOI BibTeX RDF
25	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
25	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. Reason.	2005	DBLP DOI BibTeX RDF	competition, decision procedures, satisfiability modulo theories
25	Nicolas Peltier	Some Techniques for Proving Termination of the Hyperresolution Calculus.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	hyperresolution, decision procedures, complexity measures
25	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
24	Ruzica Piskac	From Decision Procedures to Synthesis Procedures.	SYNASC	2015	DBLP DOI BibTeX RDF
24	Mohamed Iguernelala	Strengthening the heart of an SMT-solver : Design and implementation of efficient decision procedures. (Renforcement du noyau d'un démonstrateur SMT : Conception et implantation de procédures de décisions efficaces).		2013	RDF
24	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
24	Greg Nelson, Derek C. Oppen	Simplification by Cooperating Decision Procedures.	ACM Trans. Program. Lang. Syst.	1979	DBLP DOI BibTeX RDF
23	Georg Struth	Constructing Rewrite-Based Decision Procedures for Embeddings and Termination.	MPC	2006	DBLP DOI BibTeX RDF
23	Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli	Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies.	JELIA	2006	DBLP DOI BibTeX RDF
23	Noriaki Yoshiura	Decision Procedures for Several Properties of Reactive System Specifications.	ISSS	2003	DBLP DOI BibTeX RDF	Specification Description, Temporal Logic, Reactive System
23	Reinhold Letz	Lemma and Model Caching in Decision Procedures for Quantified Boolean Formulas.	TABLEAUX	2002	DBLP DOI BibTeX RDF
23	Natarajan Shankar	Using Decision Procedures with a Higher-Order Logic.	TPHOLs	2001	DBLP DOI BibTeX RDF
23	Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella	The SAT-Based Approach for Classical Modal Logics.	AI*IA	1999	DBLP DOI BibTeX RDF
22	Gulay Ünel, David Toman 0001	Logic Programming Approach to Automata-Based Decision Procedures.	ICLP	2007	DBLP DOI BibTeX RDF
22	Ting Zhang 0001, Henny B. Sipma, Zohar Manna	Decision Procedures for Queues with Integer Constraints.	FSTTCS	2005	DBLP DOI BibTeX RDF
22	Cesare Tinelli, Calogero G. Zarba	Combining Decision Procedures for Sorted Theories.	JELIA	2004	DBLP DOI BibTeX RDF
22	Franz Baader, Cesare Tinelli	Combining Decision Procedures for Positive Theories Sharing Constructors.	RTA	2002	DBLP DOI BibTeX RDF
21	Aaron Stump, Clark W. Barrett, David L. Dill	CVC: A Cooperating Validity Checker.	CAV	2002	DBLP DOI BibTeX RDF
21	Alessandro Armando, Luca Compagna, Silvio Ranise	System Description: RDL : Rewrite and Decision Procedure Laboratory.	IJCAR	2001	DBLP DOI BibTeX RDF
21	Maria Paola Bonacina, Mnacho Echenim	T-Decision by Decomposition.	CADE	2007	DBLP DOI BibTeX RDF
21	Alessandro Armando, Luca Compagna, Silvio Ranise	Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
20	Kenneth L. McMillan	What's in Common between Test, Model Checking, and Decision Procedures?	FMICS	2009	DBLP DOI BibTeX RDF
20	Gulay Ünel, David Toman 0001	An Incremental Technique for Automata-Based Decision Procedures.	CADE	2007	DBLP DOI BibTeX RDF
20	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
20	Orna Kupferman, Moshe Y. Vardi	Safraless Decision Procedures.	FOCS	2005	DBLP DOI BibTeX RDF
20	Viorica Sofronie-Stokkermans	Resolution-Based Decision Procedures for the Positive Theory of Some Finitely Generated Varieties of Algebras.	ISMVL	2004	DBLP DOI BibTeX RDF
20	Michael Norrish	Complete Integer Decision Procedures as Derived Rules in HOL.	TPHOLs	2003	DBLP DOI BibTeX RDF
20	Frank M. Brown	Decision Procedures for the Propositional Cases of Second Order Logic and Z Modal Logic Representations.	TABLEAUX	2003	DBLP DOI BibTeX RDF