The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase decision procedures (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1954-1980 (17) 1981-1988 (22) 1989-1991 (27) 1992-1993 (19) 1994-1995 (24) 1996-1997 (19) 1998 (25) 1999 (29) 2000 (25) 2001 (21) 2002 (36) 2003 (36) 2004 (27) 2005 (46) 2006 (39) 2007 (69) 2008 (40) 2009 (41) 2010 (15) 2011 (16) 2012-2013 (24) 2014-2015 (21) 2016-2018 (16) 2019-2022 (16)
Publication types (Num. hits)
article(172) book(5) incollection(5) inproceedings(459) phdthesis(27) proceedings(2)
Venues (Conferences, Journals, ...)
CADE(44) CAV(31) J. Autom. Reason.(25) CoRR(15) IJCAR(15) TABLEAUX(13) ACM Trans. Comput. Log.(12) CSL(12) FroCoS(12) LICS(12) TACAS(12) J. ACM(11) RTA(11) TPHOLs(11) FSTTCS(9) ICALP(9) More (+10 of total 229)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 374 occurrences of 241 keywords

Results
Found 670 publication records. Showing 670 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
56Predrag Janicic, Alan Bundy, Ian Green A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers. Search on Bibsonomy CADE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
56Nikolaj S. Bjørner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov 10161 Executive Summary - Decision Procedures in Software, Hardware and Bioware. Search on Bibsonomy Decision Procedures in Software, Hardware and Bioware The full citation details ... 2010 DBLP  BibTeX  RDF
56Nikolaj S. Bjørner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov 10161 Abstracts Collection - Decision Procedures in Software, Hardware and Bioware. Search on Bibsonomy Decision Procedures in Software, Hardware and Bioware The full citation details ... 2010 DBLP  BibTeX  RDF
56Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis 07401 Executive Summary -- Deduction and Decision Procedures. Search on Bibsonomy Deduction and Decision Procedures The full citation details ... 2007 DBLP  BibTeX  RDF
56René Thiemann, Jürgen Giesl, Peter Schneider-Kamp Decision Procedures for Loop Detection. Search on Bibsonomy Deduction and Decision Procedures The full citation details ... 2007 DBLP  BibTeX  RDF
56Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis 07401 Abstracts Collection -- Deduction and Decision Procedures. Search on Bibsonomy Deduction and Decision Procedures The full citation details ... 2007 DBLP  BibTeX  RDF
44Alessandro Armando, Silvio Ranise, Michaël Rusinowitch Uniform Derivation of Decision Procedures by Superposition. Search on Bibsonomy CSL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Arrays with Extensionality, Term Rewriting, Decision Procedures, Homomorphism, Automated Deduction, Lists, Superposition, Equational Logic
42Jeffrey Van Baalen, Steve Roach Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems. Search on Bibsonomy LOPSTR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
42Nikolaj S. Bjørner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov (eds.) Decision Procedures in Software, Hardware and Bioware, 18.04. - 23.04.2010 Search on Bibsonomy Decision Procedures in Software, Hardware and Bioware The full citation details ... 2010 DBLP  BibTeX  RDF
42Grant Olney Passmore, Leonardo Mendonça de Moura, Paul B. Jackson Gröbner Basis Construction Algorithms Based on Theorem Proving Saturation Loops. Search on Bibsonomy Decision Procedures in Software, Hardware and Bioware The full citation details ... 2010 DBLP  BibTeX  RDF
42Jürgen Christ, Jochen Hoenicke Instantiation-Based Interpolation for Quantified Formulae. Search on Bibsonomy Decision Procedures in Software, Hardware and Bioware The full citation details ... 2010 DBLP  BibTeX  RDF
42Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis (eds.) Deduction and Decision Procedures, 30.09. - 05.10.2007 Search on Bibsonomy Deduction and Decision Procedures The full citation details ... 2007 DBLP  BibTeX  RDF
42Peter Schneider-Kamp, Carsten Fuhs, René Thiemann, Jürgen Giesl, Elena Annov, Michael Codish, Aart Middeldorp, Harald Zankl Implementing RPO and POLO using SAT. Search on Bibsonomy Deduction and Decision Procedures The full citation details ... 2007 DBLP  BibTeX  RDF
42Viorica Sofronie-Stokkermans, Carsten Ihlemann, Swen Jacobs Local Theory Extensions, Hierarchical Reasoning and Applications to Verification. Search on Bibsonomy Deduction and Decision Procedures The full citation details ... 2007 DBLP  BibTeX  RDF
42Silvio Ghilardi, Silvio Ranise, Enrica Nicolini, Daniele Zucchelli From Non-Disjoint Combination to Satisfiability and Model-Checking of Infinite State Systems. Search on Bibsonomy Deduction and Decision Procedures The full citation details ... 2007 DBLP  BibTeX  RDF
42Jü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. Search on Bibsonomy Deduction and Decision Procedures The full citation details ... 2007 DBLP  BibTeX  RDF
42Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub Building Decision Procedures in the Calculus of Inductive Constructions. Search on Bibsonomy CSL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Calculus of Inductive Constructions, Decision procedures, Theorem provers
42Marco 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. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Satisfiability module theory, Integrated decision procedures, Linear arithmetic logic, Propositional satisfiability
38Fausto Giunchiglia, Roberto Sebastiani Building Decision Procedures for Modal Logics from Propositional Decision Procedure - The Case Study of Modal K. Search on Bibsonomy CADE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
37Sanjit A. Seshia, Shuvendu K. Lahiri, Randal E. Bryant A hybrid SAT-based decision procedure for separation logic with uninterpreted functions. Search on Bibsonomy DAC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF theorem proving, decision procedures, boolean satisfiability, design verification
36Predrag Janicic, Alan Bundy Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic. Search on Bibsonomy Calculemus/MKM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
34Frank Hutter, Domagoj Babic, Holger H. Hoos, Alan J. Hu Boosting Verification by Automatic Tuning of Decision Procedures. Search on Bibsonomy FMCAD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Search Parameter Optimization, Decision Procedures, Boolean Satisfiability
34Domenico Cantone, Vincenzo Cutello Decision Procedures for Stratified Set-Theoretic Syllogistics. Search on Bibsonomy ISSAC The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Multi-sorted languages, Set Theory, Decision Procedures
33Allen Van Gelder Independently Checkable Proofs from Decision Procedures: Issues and Progress. Search on Bibsonomy LPAR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Shuvendu K. Lahiri, Thomas Ball, Byron Cook Predicate Abstraction via Symbolic Decision Procedures. Search on Bibsonomy CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan A. Brady An abstraction-based decision procedure for bit-vector arithmetic. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Decision-procedures, Bit-vector
33Cesare Tinelli, Calogero G. Zarba Combining Nonstably Infinite Theories. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF combination of decision procedures, Nelson-Oppen method
31Ting Zhang 0001, Henny B. Sipma, Zohar Manna Decision Procedures for Recursive Data Structures with Integer Constraints. Search on Bibsonomy IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
31Deepak Kapur A Rewrite Rule Based Framework for Combining Decision Procedures. Search on Bibsonomy FroCoS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
31Alexander Leitsch Decision Procedures and Model Building, or How to Improve Logical Information in Automated Deduction. Search on Bibsonomy FTP (LNCS Selection) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
31Roberto Sebastiani, Adolfo Villafiorita SAT-Based Decision Procedures for Normal Modal Logics: A Theoretical Framework. Search on Bibsonomy AIMSA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
31E. Allen Emerson, Jai Srinivasan Branching time temporal logic. Search on Bibsonomy REX Workshop The full citation details ... 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
30Greg Nelson, Derek C. Oppen Fast Decision Procedures Based on Congruence Closure. Search on Bibsonomy J. ACM The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
29Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli Decision procedures for extensions of the theory of arrays. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T27, 03B25, 03B70, 68T15
29Ullrich Hustadt, Boris Motik, Ulrike Sattler A Decomposition Rule for Decision Procedures by Resolution-Based Calculi. Search on Bibsonomy LPAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
29William H. Joyner Jr. Resolution Strategies as Decision Procedures. Search on Bibsonomy J. ACM The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
29Jonathan S. Ostroff Deciding Properties of Timed Transition Models. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 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
28Benjamin Farinier Decision procedures for vulnerability analysis. (Procédures de décision pour l'analyse de vulnérabilités). Search on Bibsonomy 2020   RDF
28Martin Bromberger Decision Procedures for Linear Arithmetic. (Quelques procédures de décision pour l'arithmétique linéaire). Search on Bibsonomy 2019   RDF
28Rosemary 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/. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
28Joseph 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). Search on Bibsonomy 2016   RDF
28Claire 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). Search on Bibsonomy 2014   RDF
28Julien Henry Static Analysis by Abstract Interpretation and Decision Procedures. (Analyse statique de programme par interprétation abstraite et procédures de décision). Search on Bibsonomy 2014   RDF
28Elena Tushkanova Schematic calculi for the analysis of decision procedures. (Calculs schématiques pour l'analyse de procédures de décision). Search on Bibsonomy 2013   RDF
28Diego 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). Search on Bibsonomy 2011   RDF
28Pierre-Yves Strub Type Theory and Decision Procedures. (Théorie des Types et Procédures de Décision). Search on Bibsonomy 2008   RDF
28Duc-Khanh Tran Conception de Procédures de Décision par Combinaison et Saturation. (Design of decision procedures by combination and saturation) Search on Bibsonomy 2007   RDF
28Fausto Giunchiglia, Roberto Sebastiani Building Decision Procedures for Modal Logics from Propositional Decision Procedures: The Case Study of Modal K(m). Search on Bibsonomy Inf. Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
28Clark W. Barrett, David L. Dill, Aaron Stump A Framework for Cooperating Decision Procedures. Search on Bibsonomy CADE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
27André Platzer, Jan-David Quesel, Philipp Rümmer Real World Verification. Search on Bibsonomy CADE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF hybrid systems, software verification, decision procedures, Real-closed fields
27Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea The SAT-based Approach to Separation Logic. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF SAT-based decision procedures, separation logic
27Jörg Lücke Hilberticus - A Tool Deciding an Elementary Sublanguage of Set Theory. Search on Bibsonomy IJCAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF First-Order Logic, Set Theory, Decision Procedures
27Ricardo Caferra, Nicolas Zabel Extending Resolution for Model Construction. Search on Bibsonomy JELIA The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Equational Problems, Disunification, Theorem Proving, Decision Procedures, Unification, Model Construction
27Richard J. Boulton Combining Decision Procedures in the HOL System. Search on Bibsonomy TPHOLs The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
27Natarajan Shankar Little Engines of Proof. Search on Bibsonomy FME The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Philippe Suter, Mirco Dotta, Viktor Kuncak Decision procedures for algebraic data types with abstractions. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF data structure, decision procedure, algebraic data type, catamorphism
26Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter Complete functional synthesis. Search on Bibsonomy PLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF bapa, synthesis procedure, decision procedure, presburger arithmetic
26Rastislav Bodík Algorithmic Program Synthesis with Partial Programs and Decision Procedures. Search on Bibsonomy SAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Aarti Gupta Software Verification: Roles and Challenges for Automatic Decision Procedures. Search on Bibsonomy IJCAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Fré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. Search on Bibsonomy IFIP TCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Yasuhiko Minamide Verified Decision Procedures on Context-Free Grammars. Search on Bibsonomy TPHOLs The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Panagiotis Manolios, Sudarshan K. Srinivasan A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF pipelined machines, bit-level, verification, refinement, automated reasoning, ACL2
26Alessandro Cimatti, Roberto Sebastiani Building Efficient Decision Procedures on Top of SAT Solvers. Search on Bibsonomy SFM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective. Search on Bibsonomy Mechanizing Mathematical Reasoning The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
26Leonardo Mendonça de Moura, Harald Rueß An Experimental Evaluation of Ground Decision Procedures. Search on Bibsonomy CAV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26Filip Maric, Predrag Janicic argo-lib: A Generic Platform for Decision Procedures. Search on Bibsonomy IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26Enrico Giunchiglia, Armando Tacchella System Description: *SAT: A Platform for the Development of Modal Decision Procedures. Search on Bibsonomy CADE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
26Michael Colón, Tomás E. Uribe Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures. Search on Bibsonomy CAV The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
26Nikolaj S. Bjørner, Mark E. Stickel, Tomás E. Uribe A Practical Integration of First-Order Reasoning and Decision Procedures. Search on Bibsonomy CADE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
26Franz Baader, Klaus U. Schulz Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures. Search on Bibsonomy CADE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
25Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz 0001 New results on rewrite-based satisfiability procedures. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF combination of theories, satisfiability modulo a theory, scalability, inference, termination, Automated reasoning, decision procedures, rewriting, superposition
25Clark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump Design and Results of the First Satisfiability Modulo Theories Competition (SMT-COMP 2005). Search on Bibsonomy J. Autom. Reason. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF competition, decision procedures, satisfiability modulo theories
25Nicolas Peltier Some Techniques for Proving Termination of the Hyperresolution Calculus. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF hyperresolution, decision procedures, complexity measures
25Clark W. Barrett, David L. Dill, Aaron Stump Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT. Search on Bibsonomy CAV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Satisfiability, First-Order Logic, Decision Procedures, Propositional Satisfiability
24Ruzica Piskac From Decision Procedures to Synthesis Procedures. Search on Bibsonomy SYNASC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
24Mohamed 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). Search on Bibsonomy 2013   RDF
24Michael Huth, Orna Grumberg Special section on advances in reachability analysis and decision procedures: contributions to abstraction-based system verification. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Bounded reachability, Bit-vector arithmetic, Abstraction, Asynchronous systems, Decision diagrams, Memory models, Decision problems
24Greg Nelson, Derek C. Oppen Simplification by Cooperating Decision Procedures. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
24Georg Struth Constructing Rewrite-Based Decision Procedures for Embeddings and Termination. Search on Bibsonomy MPC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
24Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies. Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
24Noriaki Yoshiura Decision Procedures for Several Properties of Reactive System Specifications. Search on Bibsonomy ISSS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Specification Description, Temporal Logic, Reactive System
24Reinhold Letz Lemma and Model Caching in Decision Procedures for Quantified Boolean Formulas. Search on Bibsonomy TABLEAUX The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
24Natarajan Shankar Using Decision Procedures with a Higher-Order Logic. Search on Bibsonomy TPHOLs The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
23Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella The SAT-Based Approach for Classical Modal Logics. Search on Bibsonomy AI*IA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
22Gulay Ünel, David Toman 0001 Logic Programming Approach to Automata-Based Decision Procedures. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
22Ting Zhang 0001, Henny B. Sipma, Zohar Manna Decision Procedures for Queues with Integer Constraints. Search on Bibsonomy FSTTCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
22Cesare Tinelli, Calogero G. Zarba Combining Decision Procedures for Sorted Theories. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
22Franz Baader, Cesare Tinelli Combining Decision Procedures for Positive Theories Sharing Constructors. Search on Bibsonomy RTA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
21Aaron Stump, Clark W. Barrett, David L. Dill CVC: A Cooperating Validity Checker. Search on Bibsonomy CAV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
21Alessandro Armando, Luca Compagna, Silvio Ranise System Description: RDL : Rewrite and Decision Procedure Laboratory. Search on Bibsonomy IJCAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
21Maria Paola Bonacina, Mnacho Echenim T-Decision by Decomposition. Search on Bibsonomy CADE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Alessandro Armando, Luca Compagna, Silvio Ranise Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation. Search on Bibsonomy Mechanizing Mathematical Reasoning The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
20Kenneth L. McMillan What's in Common between Test, Model Checking, and Decision Procedures? Search on Bibsonomy FMICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
20Gulay Ünel, David Toman 0001 An Incremental Technique for Automata-Based Decision Procedures. Search on Bibsonomy CADE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Maria Paola Bonacina, Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures. Search on Bibsonomy IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20Orna Kupferman, Moshe Y. Vardi Safraless Decision Procedures. Search on Bibsonomy FOCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
20Viorica Sofronie-Stokkermans Resolution-Based Decision Procedures for the Positive Theory of Some Finitely Generated Varieties of Algebras. Search on Bibsonomy ISMVL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
20Michael Norrish Complete Integer Decision Procedures as Derived Rules in HOL. Search on Bibsonomy TPHOLs The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
20Frank M. Brown Decision Procedures for the Propositional Cases of Second Order Logic and Z Modal Logic Representations. Search on Bibsonomy TABLEAUX The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
20Zohar Manna, Calogero G. Zarba Combining Decision Procedures. Search on Bibsonomy 10th Anniversary Colloquium of UNU/IIST The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 670 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license