Lazy Explanations for Constraint Propagators

Neil Charles Armour Moore; Ian Philip Gent; Ian James Miguel

doi:10.1007/978-3-642-11503-5_19

Lazy Explanations for Constraint Propagators

Neil Charles Armour Moore
, Ian Philip Gent
, Ian James Miguel

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proceedings of the Twelfth International Symposium on Practical Aspects of Declarative Languages
Editors	Manuel Carro, Ricardo Pena
Publisher	Springer
Pages	217-233
Number of pages	16
Volume	5937
ISBN (Print)	978-3-642-11502-8
DOIs	https://doi.org/10.1007/978-3-642-11503-5_19
Publication status	Published - 2010

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer

Access to Document

10.1007/978-3-642-11503-5_19

Handle.net

Persistent link to portal record

EPSRC: Watched Literals and Learning: Watched Literals and Learning for Constraint Programming
Gent, I. (PI) & Miguel, I. (CoI)
EPSRC
1/07/07 → 31/03/11
Project: Standard

Cite this

@inproceedings{8d38723eede74bdabac3631341e88b3d,

title = "Lazy Explanations for Constraint Propagators",

author = "Moore, \{Neil Charles Armour\} and Gent, \{Ian Philip\} and Miguel, \{Ian James\}",

year = "2010",

doi = "10.1007/978-3-642-11503-5\_19",

language = "English",

isbn = "978-3-642-11502-8",

volume = "5937",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "217--233",

editor = "Manuel Carro and Ricardo Pena",

booktitle = "Proceedings of the Twelfth International Symposium on Practical Aspects of Declarative Languages",

address = "Netherlands",

}

Lazy Explanations for Constraint Propagators. / Moore, Neil Charles Armour; Gent, Ian Philip ; Miguel, Ian James.
Proceedings of the Twelfth International Symposium on Practical Aspects of Declarative Languages. ed. / Manuel Carro; Ricardo Pena. Vol. 5937 Springer, 2010. p. 217-233 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Lazy Explanations for Constraint Propagators

AU - Moore, Neil Charles Armour

AU - Gent, Ian Philip

AU - Miguel, Ian James

PY - 2010

Y1 - 2010

U2 - 10.1007/978-3-642-11503-5_19

DO - 10.1007/978-3-642-11503-5_19

M3 - Conference contribution

SN - 978-3-642-11502-8

VL - 5937

T3 - Lecture Notes in Computer Science

SP - 217

EP - 233

BT - Proceedings of the Twelfth International Symposium on Practical Aspects of Declarative Languages

A2 - Carro, Manuel

A2 - Pena, Ricardo

PB - Springer

ER -

Lazy Explanations for Constraint Propagators

Publication series

Access to Document

Handle.net

Projects

EPSRC: Watched Literals and Learning: Watched Literals and Learning for Constraint Programming

Cite this