|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
11 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A SAT Solver Using Reconfigurable Hardware and Virtual Logic |
Miron Abramovici |
2000 |
24 | 1 |
p. 5-36 32 p. |
artikel |
|
| 2 | Guided Local Search for Solving SAT and Weighted MAX-SAT Problems |
Patrick Mills |
2000 |
24 | 1 |
p. 205-223 19 p. |
artikel |
|
| 3 | Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems |
Carla P. Gomes |
2000 |
24 | 1 |
p. 67-100 34 p. |
artikel |
|
| 4 | Implementing the DavisPutnam Method |
Hantao Zhang |
2000 |
24 | 1 |
p. 277-296 20 p. |
artikel |
|
| 5 | Logical Cryptanalysis as a SAT Problem |
Fabio Massacci |
2000 |
24 | 1 |
p. 165-203 39 p. |
artikel |
|
| 6 | Proving Consistency Assertions for Automotive Product Data Management |
Wolfgang Küchlin |
2000 |
24 | 1 |
p. 145-163 19 p. |
artikel |
|
| 7 | Relaxations of the Satisfiability Problem Using Semidefinite Programming |
Etienne de Klerk |
2000 |
24 | 1 |
p. 37-65 29 p. |
artikel |
|
| 8 | Resolution versus Search: Two Strategies for SAT |
Irina Rish |
2000 |
24 | 1 |
p. 225-275 51 p. |
artikel |
|
| 9 | Satisfiability in the Year 2000 |
Ian P. Gent |
2000 |
24 | 1 |
p. 1-3 3 p. |
artikel |
|
| 10 | SAT Local Search Algorithms: Worst-Case Study |
Edward A. Hirsch |
2000 |
24 | 1 |
p. 127-143 17 p. |
artikel |
|
| 11 | The Propositional Formula Checker HeerHugo |
Jan Friso Groote |
2000 |
24 | 1 |
p. 101-125 25 p. |
artikel |
11 gevonden resultaten