The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1969-1979 (15) 1980-1983 (16) 1984-1986 (22) 1987-1988 (30) 1989 (18) 1990 (27) 1991 (26) 1992 (37) 1993 (70) 1994 (41) 1995 (46) 1996 (79) 1997 (46) 1998 (75) 1999 (106) 2000 (104) 2001 (128) 2002 (148) 2003 (188) 2004 (289) 2005 (284) 2006 (274) 2007 (319) 2008 (299) 2009 (318) 2010 (173) 2011 (142) 2012 (179) 2013 (136) 2014 (156) 2015 (143) 2016 (170) 2017 (176) 2018 (154) 2019 (125) 2020 (157) 2021 (167) 2022 (146) 2023 (151) 2024 (33)
Publication types (Num. hits)
article(1445) book(8) incollection(95) inproceedings(3545) phdthesis(81) proceedings(39)
Venues (Conferences, Journals, ...)
SAT(780) CoRR(355) SMT(71) CP(66) Handbook of Satisfiability(61) CADE(57) DAC(57) AAAI(54) Ann. Math. Artif. Intell.(54) J. Autom. Reason.(49) LPAR(49) CSL(48) CAV(44) IEEE Trans. Comput. Aided Des....(44) MFCS(44) Theor. Comput. Sci.(44) More (+10 of total 1016)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2045 occurrences of 901 keywords

Results
Found 5214 publication records. Showing 5213 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
61Inderpal Singh Mumick, Oded Shmueli Universal Finiteness and Satisfiability. Search on Bibsonomy PODS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF SQL, Datalog
60Luís Guerra e Silva, Luís Miguel Silveira, João Marques-Silva 0001 Algorithms for Solving Boolean Satisfiability in Combinational Circuits. Search on Bibsonomy DATE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Circuit Delay Computation, Test Pattern Generation, Boolean Satisfiability, Circuit Satisfiability
54Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran Automatic Combinability of Rewriting-Based Satisfiability Procedures. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
54Jason Crampton, Hemanth Khambhammettu Delegation and satisfiability in workflow systems. Search on Bibsonomy SACMAT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF satisfiability, delegation, workflow management systems
54Malek Mouhoub, Samira Sadaoui Systematic versus Non-systematic Methods for Solving Incremental Satisfiability. Search on Bibsonomy IEA/AIE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Genetic Algorithms, Local Search, Branch and Bound, Propositional Satisfiability
54Stefan Porschen On Some Weighted Satisfiability and Graph Problems. Search on Bibsonomy SOFSEM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF (weighted) exact satisfiability, not-all-equal satisfiability, NP-completeness, exact algorithm, counting problem, maximum weight independent set
54Clark 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
51A. Koutsou, Satisfiability He Study of ants' traffic organisation under crowded conditions using individual-based modelling and evolutionary computation. Search on Bibsonomy IEEE Congress on Evolutionary Computation The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
48Alexander Smith 0001, Andreas G. Veneris, Anastasios Viglas Design diagnosis using Boolean satisfiability. Search on Bibsonomy ASP-DAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
48Andreas G. Veneris Fault Diagnosis and Logic Debugging Using Boolean Satisfiability. Search on Bibsonomy MTV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
48Guoqiang Pan, Moshe Y. Vardi Symbolic Techniques in Satisfiability Solving. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF symbolic decision procedure, satisfiability, binary decision diagram
48Mohamed El-bachir Menai An Evolutionary Local Search Method for Incremental Satisfiability. Search on Bibsonomy AISC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Incremental Satisfiability, Self-Organized Criticality, Stochastic Local Search, Extremal Optimization
48Randal E. Bryant, Miroslav N. Velev Boolean satisfiability with transitivity constraints. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF formal verification, decision procedures, Boolean satisfiability
47Guoqiang Pan, Moshe Y. Vardi Search vs. Symbolic Techniques in Satisfiability Solving. Search on Bibsonomy SAT (Selected Papers The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
47Hossein M. Sheini, Karem A. Sakallah From Propositional Satisfiability to Satisfiability Modulo Theories. Search on Bibsonomy SAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
45Stephen M. Majercik Stochastic Boolean Satisfiability. Search on Bibsonomy Handbook of Satisfiability The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
45John Franco, John Martin A History of Satisfiability. Search on Bibsonomy Handbook of Satisfiability The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
45Clark W. Barrett, Roberto Sebastiani, Sanjit A. Seshia, Cesare Tinelli Satisfiability Modulo Theories. Search on Bibsonomy Handbook of Satisfiability The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
45Karem A. Sakallah Symmetry and Satisfiability. Search on Bibsonomy Handbook of Satisfiability The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
45John Franco, John Martin A History of Satisfiability. Search on Bibsonomy Handbook of Satisfiability The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
45Stephen M. Majercik Stochastic Boolean Satisfiability. Search on Bibsonomy Handbook of Satisfiability The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
45Karem A. Sakallah Symmetry and Satisfiability. Search on Bibsonomy Handbook of Satisfiability The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
45Clark W. Barrett, Roberto Sebastiani, Sanjit A. Seshia, Cesare Tinelli Satisfiability Modulo Theories. Search on Bibsonomy Handbook of Satisfiability The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
45Dimitris Achlioptas Random Satisfiability. Search on Bibsonomy Handbook of Satisfiability The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
45Arne Løkketangen, Fred W. Glover Surrogate constraint analysis-new heuristics and learning schemes for satisfiability problems. Search on Bibsonomy Satisfiability Problem: Theory and Applications The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
45Benjamin Wan-Sang Wah, Yi Shang A discrete Lagrangian-based global-search method for solving satisfiability problems. Search on Bibsonomy Satisfiability Problem: Theory and Applications The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
45Ewald Speckenmeyer, Max Böhm, Peter Heusch On the imbalance of distributions of solutions of CNF-formulas and its impact on satisfiability solvers. Search on Bibsonomy Satisfiability Problem: Theory and Applications The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
45Jun Gu, Paul W. Purdom, John V. Franco, Benjamin W. Wah Algorithms for the satisfiability (SAT) problem: A survey. Search on Bibsonomy Satisfiability Problem: Theory and Applications The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
45John Franco Relative size of certain polynomial time solvable subclasses of satisfiability. Search on Bibsonomy Satisfiability Problem: Theory and Applications The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
45Jinchang Wang Branching rules for propositional satisfiability test. Search on Bibsonomy Satisfiability Problem: Theory and Applications The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
45Stephen A. Cook, David G. Mitchell Finding hard instances of the satisfiability problem: A survey. Search on Bibsonomy Satisfiability Problem: Theory and Applications The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
45Kazuo Iwama, Kazuya Takaki Satisfiability of 3CNF formulas with small clause/variable-ratio. Search on Bibsonomy Satisfiability Problem: Theory and Applications The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
45Hans van Maaren On the use of second order derivatives for the satisfiability problem. Search on Bibsonomy Satisfiability Problem: Theory and Applications The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
45Jun Gu Multispace search for satisfiability and NP-hard problems. Search on Bibsonomy Satisfiability Problem: Theory and Applications The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
45William M. Spears Simulated annealing for hard satisfiability problems. Search on Bibsonomy Cliques, Coloring, and Satisfiability The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
45Brigitte Jaumard, Mihnea Stan, Jacques Desrosiers Tabu search and a quadratic relaxation for the Satisfiability problem. Search on Bibsonomy Cliques, Coloring, and Satisfiability The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
45Allen Van Gelder, Yumi K. Tsuji Satisfiability testing with more reasoning and less guessing. Search on Bibsonomy Cliques, Coloring, and Satisfiability The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
45Steven E. Hampson, Dennis F. Kibler Large plateaus and plateau search in Boolean Satisfiability problems: When to give up searching and start again. Search on Bibsonomy Cliques, Coloring, and Satisfiability The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
45Mauricio G. C. Resende, Thomas A. Feo A GRASP for satisfiability. Search on Bibsonomy Cliques, Coloring, and Satisfiability The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
45Bart Selman, Henry A. Kautz, Bram Cohen Local search strategies for satisfiability testing. Search on Bibsonomy Cliques, Coloring, and Satisfiability The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
45Charles Fleurent, Jacques A. Ferland Object-oriented implementation of heuristic search methods for Graph Coloring, Maximum Clique, and Satisfiability. Search on Bibsonomy Cliques, Coloring, and Satisfiability The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
45David S. Johnson, Michael A. Trick Foreword xiIntroduction to the Second DIMACS Challenge: Cliques, coloring, and satisfiability. Search on Bibsonomy Cliques, Coloring, and Satisfiability The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
45Richard J. Wallace, Eugene C. Freuder Comparative studies of constraint satisfaction and Davis-Putnam algorithms for maximum satisfiability problems. Search on Bibsonomy Cliques, Coloring, and Satisfiability The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
43Maria 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
42Leonardo Mendonça de Moura, Bruno Dutertre, Natarajan Shankar A Tutorial on Satisfiability Modulo Theories. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
42Christian Glaßer, Christian Reitwießner, Stephen D. Travers, Matthias Waldherr Satisfiability of Algebraic Circuits over Sets of Natural Numbers. Search on Bibsonomy FSTTCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
42Alexander Smith 0001, Andreas G. Veneris, Moayad Fahim Ali, Anastasios Viglas Fault diagnosis and logic debugging using Boolean satisfiability. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
42Floris Geerts, Wenfei Fan Satisfiability of XPath Queries with Sibling Axes. Search on Bibsonomy DBPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
42Katarina Britz, Johannes Heidema Semiring-Valued Satisfiability. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
42Alessandro 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
42Nobutaka Suzuki, Yuji Fukushima Satisfiability of simple xpath fragments in the presence of dtds. Search on Bibsonomy WIDM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF satisfiability, xpath, xml, dtd
42Michael Benedikt, Wenfei Fan, Floris Geerts XPath satisfiability in the presence of DTDs. Search on Bibsonomy J. ACM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF XML, Satisfiability, XPath, Containment, DTDs
42Yu Zhang 0086, Yihua Cao, Xunhao Li A Decision Procedure for XPath Satisfiability in the Presence of DTD Containing Choice. Search on Bibsonomy APWeb The full citation details ... 2008 DBLP  DOI  BibTeX  RDF DTD choice, XPath satisfiability, automaton
42Manizheh Montazerian, Peter T. Wood, Seyed R. Mousavi XPath Query Satisfiability is in PTIME for Real-World DTDs. Search on Bibsonomy XSym The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Document Type Definitions, Satisfiability, XPath
42Xiaowei Li 0001, Guanghui Li 0001, Ming Shao Formal Verification Techniques Based on Boolean Satisfiability Problem. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF incremental satisfiability, minimal unsatisfiable formula, model checking, equivalence checking
42Eugene Goldberg Testing satisfiability of CNF formulas by computing a stable set of points. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF stable set of points, symmetric CNF formulas, satisfiability problem
42Hans van Maaren, Linda van Norden Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Horn, satisfiability, density, 3-SAT
42Miguel F. Anjos An improved semidefinite programming relaxation for the satisfiability problem. Search on Bibsonomy Math. Program. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Satisfiability, Semidefinite programming, Discrete optimization
42Carlos Camarão 0001, Lucília Figueiredo, Cristiano D. Vasconcellos Constraint-set satisfiability for overloading. Search on Bibsonomy PPDP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF constrained polymorphism, constraint-set satisfiability, overloading, type constraints, ad-hoc polymorphism
42Felip Manyà, Ramón Béjar, Gonzalo Escalada-Imaz The satisfiability problem in regular CNF-formulas. Search on Bibsonomy Soft Comput. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Multiple-valued regular CNF-formulas, benchmarks, threshold, satisfiability problem
42Ramamohan Paturi, Pavel Pudlák, Francis Zane Satisfiability Coding Lemma. Search on Bibsonomy FOCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF satisfying assignments, satisfying assignment, Satisfiability Coding Lemma, computability, randomized algorithm, satisfiability, deterministic algorithm, conjunctive normal form, Boolean formulae
42Maria Alberta Alberti, Alberto Bertoni, Paola Campadelli, Giuliano Grossi, Roberto Posenato A neural circuit for the maximum 2-satisfiability problem. Search on Bibsonomy PDP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF maximum 2-satisfiability, neural circuit, 2-satisfiability problem, neural networks, FPGA, computability, neural nets
41Danila A. Sinopalnikov Satisfiability Threshold of the Skewed Random k-SAT. Search on Bibsonomy SAT (Selected Papers The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
41Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski Satisfiability and Computing van der Waerden Numbers. Search on Bibsonomy SAT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41David A. Mix Barrington, Pierre McKenzie, Cristopher Moore, Pascal Tesson, Denis Thérien Equation Satisfiability and Program Satisfiability for Finite Monoids. Search on Bibsonomy MFCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
41Dominik Scheder, Philipp Zumstein Satisfiability with Exponential Families. Search on Bibsonomy SAT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF polynomial circuits, NP-hardness, satisfiability, context-free grammars, VC-dimension
40Hans van Maaren, Linda van Norden Sums of Squares, Satisfiability and Maximum Satisfiability. Search on Bibsonomy SAT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
37Olga Tveretina A Decision Procedure for Equality Logic with Uninterpreted Functions. Search on Bibsonomy AISC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF equality logic with uninterpreted functions, DPLL procedure, satisfiability
37Lance Fortnow, Dieter van Melkebeek Time-Space Tradeoffs for Nondeterministic Computation. Search on Bibsonomy CCC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Satisfiability, Time-space tradeoffs
37Marco 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
37Karima Benatchba, Lotfi Admane, Mouloud Koudil Using Bees to Solve a Data-Mining Problem Expressed as a Max-Sat One. Search on Bibsonomy IWINAC (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Optimisation using bees, MBO algorithm, Data-Mining, Optimization, Satisfiability, Maximum-Satisfiability
37Rajesh K. Gupta 0001 A framework for interactive analysis of timing constraints in embedded systems. Search on Bibsonomy CODES The full citation details ... 1996 DBLP  DOI  BibTeX  RDF constraint satisfiability, performance evaluation, real-time systems, embedded systems, timing, computability, logic design, satisfiability, timing constraints, interactive analysis, timing performance
36Carlo A. Furia, Paola Spoletini Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers. Search on Bibsonomy ICTAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Tomás Brázdil, Vojtech Forejt, Jan Kretínský, Antonín Kucera 0001 The Satisfiability Problem for Probabilistic CTL. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF temporal logics, Markov chains
36Sven Schewe ATL* Satisfiability Is 2EXPTIME-Complete. Search on Bibsonomy ICALP (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta Boolean Abstraction for Temporal Logic Satisfiability. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
36Viktor Kuncak, Martin C. Rinard Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic. Search on Bibsonomy CADE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
36Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems. Search on Bibsonomy CADE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
36Cesare Tinelli An Abstract Framework for Satisfiability Modulo Theories. Search on Bibsonomy TABLEAUX The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
36Miguel F. Anjos An explicit semidefinite characterization of satisfiability for Tseitin instances on toroidal grid graphs. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 90C22, 03B05, 90C09, 90C90, 68T15
36Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran On Superposition-Based Satisfiability Procedures and Their Combination. Search on Bibsonomy ICTAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36Stefan Andrei, Wei-Ngan Chin Incremental Satisfiability Counting for Real-Time Systems. Search on Bibsonomy IEEE Real-Time and Embedded Technology and Applications Symposium The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
36Cesare Tinelli A DPLL-Based Calculus for Ground Satisfiability Modulo Theories. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
36Gregory B. Sorkin Some Notes on Random Satisfiability. Search on Bibsonomy SAGA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
36Farzan Fallah, Srinivas Devadas, Kurt Keutzer Functional Vector Generation for HDL Models Using Linear Programming and 3-Satisfiability. Search on Bibsonomy DAC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF low power, synthesis, placement, flip-flops, voltage scaling, codec, MPEG4, level converters, design automatian
36Hans Kleine Büning, Theodor Lettmann Classes of First Order Formulas Under Various Satisfiability Definitions. Search on Bibsonomy CADE The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
36William R. Harris, Sriram Sankaranarayanan 0001, Franjo Ivancic, Aarti Gupta Program analysis via satisfiability modulo path programs. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF program analysis, abstract interpretation, symbolic execution, path sensitivity, smt solvers, satisfiability solvers
36Arne Meier, Martin Mundhenk, Thomas Schneider 0002, Michael Thomas 0001, Volker Weber, Felix Weiss The Complexity of Satisfiability for Fragments of Hybrid Logic-Part I. Search on Bibsonomy MFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Post’s lattice, complexity, satisfiability, decidability, hybrid logic
36Serge Abiteboul, Pierre Bourhis, Bogdan Marinoiu Satisfiability and relevance for queries over active documents. Search on Bibsonomy PODS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF active XML, query satisfiability, relevance
36Naiyong Jin, Huibiao Zhu ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions. Search on Bibsonomy ISoLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Alternating Automata, Memoryful Synchronization, Satisfiability
36Victor Chepoi, Nadia Creignou, Miki Hermann, Gernot Salzer Deciding the Satisfiability of Propositional Formulas in Finitely-Valued Signed Logics. Search on Bibsonomy ISMVL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Helly property, complexity, satisfiability, many-valued logic, propositional logic
36Clark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006). Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Competition, Decision procedures, Automated theorem proving, SMT, Satisfiability modulo theories
36Kenichi Watanabe, Tomoya Enokido, Makoto Takizawa 0001 Satisfiability and trustworthiness of acquaintances in peer-to-peer overlay networks. Search on Bibsonomy Inf. Syst. Frontiers The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Acquaintance, Quality of service, Access control, Satisfiability, Trustworthiness, Peer-to-peer overlay network
36Juan Frausto Solís, Héctor Sanvicente Sánchez, Froilán Imperial-Valenzuela ANDYMARK: An Analytical Method to Establish Dynamically the Length of the Markov Chain in Simulated Annealing for the Satisfiability Problem. Search on Bibsonomy SEAL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Optimization, Heuristics, Simulated Annealing, Combinatorial Optimization, Satisfiability, NP-Hard Problems
36Stefan Porschen Counting All Solutions of Minimum Weight Exact Satisfiability. Search on Bibsonomy CIAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Minimum weight exact satisfiability, minimum weight set partition, counting problem, maximum weight independent set
36Zhaohui Fu, Sharad Malik Solving the minimum-cost satisfiability problem using SAT based branch-and-bound search. Search on Bibsonomy ICCAD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF MinCostSAT, optimization, branch-and-bound, Boolean satisfiability
36Lance Fortnow, Richard J. Lipton, Dieter van Melkebeek, Anastasios Viglas Time-space lower bounds for satisfiability. Search on Bibsonomy J. ACM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Complexity of satisfiability, time-space lower bounds
36Alan M. Frisch, Timothy J. Peugniez, Anthony J. Doggett, Peter Nightingale Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF local search, encodings, satisfiability, propositional logic
36Stefan Porschen Solving Minimum Weight Exact Satisfiability in Time O(20.2441n). Search on Bibsonomy ISAAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF minimum weight exact satisfiability, branching tree, minimum perfect matching, NP-completeness, exact algorithm
36Felipe S. Marques 0001, Renato P. Ribas, Sachin S. Sapatnekar, André Inácio Reis A new approach to the use of satisfiability in false path detection. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF unateness, satisfiability, false paths
Displaying result #1 - #100 of 5213 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license