no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
1 |
BerkMin: A fast and robust Sat-solver
|
Goldberg, Eugene |
|
2007 |
155 |
12 |
p. 1549-1561 13 p. |
article |
2 |
Conflict-directed A* and its role in model-based embedded systems
|
Williams, Brian C. |
|
2007 |
155 |
12 |
p. 1562-1595 34 p. |
article |
3 |
Contents
|
|
|
2007 |
155 |
12 |
p. v- 1 p. |
article |
4 |
Exploiting partial knowledge of satisfying assignments
|
Iwama, Kazuo |
|
2007 |
155 |
12 |
p. 1596-1603 8 p. |
article |
5 |
Generating effective symmetry-breaking predicates for search problems
|
Shlyakhter, Ilya |
|
2007 |
155 |
12 |
p. 1539-1548 10 p. |
article |
6 |
Guest Editors Listing
|
|
|
2007 |
155 |
12 |
p. 1513- 1 p. |
article |
7 |
Phase transitions of PP-complete satisfiability problems
|
Bailey, Delbert D. |
|
2007 |
155 |
12 |
p. 1627-1639 13 p. |
article |
8 |
Random backtracking in backtrack search algorithms for satisfiability
|
Lynce, I. |
|
2007 |
155 |
12 |
p. 1604-1612 9 p. |
article |
9 |
Regular-SAT: A many-valued approach to solving combinatorial problems
|
Béjar, Ramón |
|
2007 |
155 |
12 |
p. 1613-1626 14 p. |
article |
10 |
The state of SAT
|
Kautz, Henry |
|
2007 |
155 |
12 |
p. 1514-1524 11 p. |
article |
11 |
The unsatisfiability threshold revisited
|
Kaporis, Alexis C. |
|
2007 |
155 |
12 |
p. 1525-1538 14 p. |
article |