IRIS publication 26999469
Local Search on SAT-Encoded Colouring Problems
RIS format for Endnote and similar
TY - GEN - S. D. Prestwich - 2003 January - Sixth International Conference on the Theory and Applications of Satisfiability Testing, Lecture Notes in Computer Science vol. 2919 - Local Search on SAT-Encoded Colouring Problems - Springer - Published - 0 - 105 - 119 DA - 2003 January/NaN ER -
BIBTeX format for JabRef and similar
@misc{V26999469, = {S. D. Prestwich }, = {2003 January}, = {Sixth International Conference on the Theory and Applications of Satisfiability Testing, Lecture Notes in Computer Science vol. 2919}, = {Local Search on SAT-Encoded Colouring Problems}, = {{Springer}}, = {Published}, = {0}, pages = {105--119}, source = {IRIS} }
Data as stored in IRIS
AUTHORS | S. D. Prestwich | ||
YEAR | 2003 January | ||
JOURNAL | Sixth International Conference on the Theory and Applications of Satisfiability Testing, Lecture Notes in Computer Science vol. 2919 | ||
TITLE | Local Search on SAT-Encoded Colouring Problems | ||
PUBLISHER | Springer | ||
PUBLISHER_LOCATION | |||
STATUS | Published | ||
PEER_REVIEW | 0 | ||
SEARCH_KEYWORD | |||
ABSTRACT | |||
EDITORS | |||
ISBN_ISSN | |||
URL | |||
START_PAGE | 105 | ||
END_PAGE | 119 | ||
DOI_LINK | |||
FUNDING_BODY | |||
GRANT_DETAILS |