Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             19 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Annals of Mathematics and Artificial Intelligence 2005
 43 1 p. 367-371
5 p.
 artikel
2 A Parsimony Tree for the SAT2002 Competition Paul W. Purdom
 2005
 43 1 p. 343-365
23 p.
 artikel
3 A SAT Approach to Query Optimization in Mediator Systems Steven Prestwich
 2005
 43 1 p. 195-210
16 p.
 artikel
4 Efficient Data Structures for Backtrack Search SAT Solvers Inês Lynce
 2005
 43 1 p. 137-152
16 p.
 artikel
5 Exact 3-Satisfiability Is Decidable in Time O(20.16254n) Stefan Porschen
 2005
 43 1 p. 173-193
21 p.
 artikel
6 Extension and Equivalence Problems for Clause Minimal Formulae Hans Kleine Büning
 2005
 43 1 p. 295-306
12 p.
 artikel
7 Generalizations of Matched CNF Formulas Stefan Szeider
 2005
 43 1 p. 223-238
16 p.
 artikel
8 On Deciding Subsumption Problems Uwe Egly
 2005
 43 1 p. 255-294
40 p.
 artikel
9 On Exact Selection of Minimally Unsatisfiable Subformulae Renato Bruni
 2005
 43 1 p. 35-50
16 p.
 artikel
10 On SAT Instance Classes and a Method for Reliable Performance Experiments with SAT Solvers Franc Brglez
 2005
 43 1 p. 1-34
34 p.
 artikel
11 Probability Logic and Optimization SAT: The PSAT and CPA Models Daniele Pretolani
 2005
 43 1 p. 211-221
11 p.
 artikel
12 Restarts and Exponential Acceleration of the DavisPutnamLovelandLogemann Algorithm: A Large Deviation Analysis of the Generalized Unit Clause Heuristic for Random 3-SAT Simona Cocco
 2005
 43 1 p. 153-172
20 p.
 artikel
13 Solving the Resolution-Free SAT Problem by Submodel Propagation in Linear Time Gábor Kusper
 2005
 43 1 p. 129-136
8 p.
 artikel
14 Testing Satisfiability of CNF Formulas by Computing a Stable Set of Points Eugene Goldberg
 2005
 43 1 p. 65-89
25 p.
 artikel
15 The Complexity of Boolean Constraint Satisfaction Local Search Problems Philippe Chapdelaine
 2005
 43 1 p. 51-63
13 p.
 artikel
16 The Complexity of Homomorphisms and Renamings for Minimal Unsatisfiable Formulas Hans Kleine Büning
 2005
 43 1 p. 113-127
15 p.
 artikel
17 The SAT2002 Competition Laurent Simon
 2005
 43 1 p. 307-342
36 p.
 artikel
18 Toward Leaner Binary-Clause Reasoning in a Satisfiability Solver Allen Van Gelder
 2005
 43 1 p. 239-253
15 p.
 artikel
19 UnitWalk: A New SAT Solver that Uses Local Search Guided by Unit Clause Elimination Edward A. Hirsch
 2005
 43 1 p. 91-111
21 p.
 artikel
                             19 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland