|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Annals of Mathematics and Artificial Intelligence |
2003 |
37 | 3 |
p. 327-330 4 p. |
artikel |
||
| 2 | An Overview of Backtrack Search Satisfiability Algorithms |
Inês Lynce |
2003 |
37 | 3 |
p. 307-326 20 p. |
artikel |
|
| 3 | On Semidefinite Programming Relaxations of (2p)-SAT |
E. de Klerk |
2003 |
37 | 3 |
p. 285-305 21 p. |
artikel |
|
| 4 | Recognition of Simple Enlarged Horn Formulas and Simple Extended Horn Formulas |
Emmanuel Benoist |
2003 |
37 | 3 |
p. 251-272 22 p. |
artikel |
|
| 5 | Resolution Proofs of Matching Principles |
Alasdair Urquhart |
2003 |
37 | 3 |
p. 241-250 10 p. |
artikel |
|
| 6 | Solving Satisfiability Problems Using Elliptic Approximations. A Note on Volumes and Weights |
Hans van Maaren |
2003 |
37 | 3 |
p. 273-283 11 p. |
artikel |
6 gevonden resultaten