|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
17 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Approximating minimal unsatisfiable subformulae by means of adaptive core search |
Bruni, Renato |
2003 |
130 | 2 |
p. 85-100 16 p. |
artikel |
|
| 2 | A satisfiability procedure for quantified Boolean formulae |
Plaisted, David A. |
2003 |
130 | 2 |
p. 291-328 38 p. |
artikel |
|
| 3 | Contents |
2003 |
130 | 2 |
p. viii-ix nvt p. |
artikel |
||
| 4 | Editorial Board |
2003 |
130 | 2 |
p. v-vii nvt p. |
artikel |
||
| 5 | Equivalent literal propagation in the DLL procedure |
Li, Chu-Min |
2003 |
130 | 2 |
p. 251-276 26 p. |
artikel |
|
| 6 | Guide for authors |
2003 |
130 | 2 |
p. I-IV nvt p. |
artikel |
||
| 7 | Homomorphisms of conjunctive normal forms |
Szeider, Stefan |
2003 |
130 | 2 |
p. 351-365 15 p. |
artikel |
|
| 8 | How to fake an RSA signature by encoding modular root finding as a SAT problem |
Fiorini, Claudia |
2003 |
130 | 2 |
p. 101-127 27 p. |
artikel |
|
| 9 | Lean clause-sets: generalizations of minimally unsatisfiable clause-sets |
Kullmann, Oliver |
2003 |
130 | 2 |
p. 209-249 41 p. |
artikel |
|
| 10 | On good algorithms for determining unsatisfiability of propositional formulas |
Franco, John |
2003 |
130 | 2 |
p. 129-138 10 p. |
artikel |
|
| 11 | On the limit of branching rules for hard random unsatisfiable 3-SAT |
Li, Chu-Min |
2003 |
130 | 2 |
p. 277-290 14 p. |
artikel |
|
| 12 | On the structure of some classes of minimal unsatisfiable formulas |
Kleine Büning, Hans |
2003 |
130 | 2 |
p. 185-207 23 p. |
artikel |
|
| 13 | Preface |
van Maaren, Hans |
2003 |
130 | 2 |
p. 83-84 2 p. |
artikel |
|
| 14 | Resolution and binary decision diagrams cannot simulate each other polynomially |
Groote, J.F. |
2003 |
130 | 2 |
p. 157-171 15 p. |
artikel |
|
| 15 | SAT problems with chains of dependent variables |
Prestwich, Steven |
2003 |
130 | 2 |
p. 329-350 22 p. |
artikel |
|
| 16 | Worst-case study of local search for MAX-k-SAT |
Hirsch, Edward A. |
2003 |
130 | 2 |
p. 173-184 12 p. |
artikel |
|
| 17 | Worst-case upper bounds for MAX-2-SAT with an application to MAX-CUT |
Gramm, Jens |
2003 |
130 | 2 |
p. 139-155 17 p. |
artikel |
17 gevonden resultaten