|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
5 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas |
Liffiton, Mark |
2008 |
14 | 4 |
p. 415-442 |
artikel |
|
| 2 | Dynamic structural symmetry breaking for constraint satisfaction problems |
Flener, Pierre |
2008 |
14 | 4 |
p. 506-538 |
artikel |
|
| 3 | Non-binary quantified CSP: algorithms and modelling |
Nightingale, Peter |
2009 |
14 | 4 |
p. 539-581 |
artikel |
|
| 4 | On implementing symmetry detection |
Mears, C. |
2008 |
14 | 4 |
p. 443-477 |
artikel |
|
| 5 | SymChaff: exploiting symmetry in a structure-aware satisfiability solver |
Sabharwal, Ashish |
2008 |
14 | 4 |
p. 478-505 |
artikel |
5 gevonden resultaten