Solving Games and dependence of applicable solving procedures
| Title | Solving Games and dependence of applicable solving procedures |
| Publication Type | Journal Article |
| Year of Publication | 2007 |
| Authors | Heule M, Rothkrantz LJM |
| Secondary Authors | van Leeuwen DA |
| Journal | Science of Computer Programming |
| Volume | 67 |
| Pagination | 105–124 |
| Date Published | jun |
| URL | http://mmi.tudelft.nl/pub/leon/sdarticle.pdf |