Variable and value elimination in binary constraint satisfaction via forbidden patterns. / Cohen, David; Cooper, Martin; Escamocher, Guillaume; Zivny, Stanislav.
In: Journal of Computer and System Sciences, Vol. 81, No. 7, 11.2015, p. 1127–1143.Research output: Contribution to journal › Article › peer-review
Accepted author manuscript, 371 KB, PDF document
Final published version
Original language | English |
---|---|
Pages (from-to) | 1127–1143 |
Number of pages | 17 |
Journal | Journal of Computer and System Sciences |
Volume | 81 |
Issue number | 7 |
Early online date | 6 Mar 2015 |
DOIs | |
Publication status | Published - Nov 2015 |
ID: 23245823