Symmetries, almost symmetries, and lazy clause generation

Research output: Contribution to journal › Article › Research › peer-review

Access to Document

@article{3393b2c317c642bc9dd21ddda8ed1f1f,

title = "Symmetries, almost symmetries, and lazy clause generation",

author = "Geoffrey Chu and {Garcia De La Banda}, {Maria Jose} and Mears, {Christopher David} and Stuckey, {Peter James}",

year = "2014",

doi = "10.1007/s10601-014-9163-9",

language = "English",

volume = "19",

pages = "434 -- 462",

journal = "Constraints",

issn = "1383-7133",

publisher = "Springer-Verlag London Ltd.",

number = "4",

}

TY - JOUR

T1 - Symmetries, almost symmetries, and lazy clause generation

AU - Chu, Geoffrey

AU - Garcia De La Banda, Maria Jose

AU - Mears, Christopher David

AU - Stuckey, Peter James

PY - 2014

Y1 - 2014

UR - http://goo.gl/bFdDZh

U2 - 10.1007/s10601-014-9163-9

DO - 10.1007/s10601-014-9163-9

M3 - Article

VL - 19

SP - 434

EP - 462

JO - Constraints

JF - Constraints

SN - 1383-7133

IS - 4

ER -