Broken triangles revisited

Research output: Chapter in Book/Report/Conference proceedingsChapterpeer-review

Abstract

A broken triangle is a pattern of (in)compatibilities between assignments in a binary CSP (constraint satisfaction problem). In the absence of certain broken triangles, satisfiability-preserving domain reductions are possible via merging of domain values. We investigate the possibility of maximising the number of domain reduction operations by the choice of the order in which they are applied, as well as their interaction with arc consistency operations. It turns out that it is NP-hard to choose the best order.

Original languageEnglish
Title of host publicationPrinciples and Practice of Constraint Programming - 21st International Conference, CP 2015, Proceedings
EditorsGilles Pesant
PublisherSpringer Verlag
Pages58-73
Number of pages16
ISBN (Print)9783319232188
DOIs
Publication statusPublished - 2015
Event21st International Conference on the Principles and Practice of Constraint Programming, CP 2015 - Cork, Ireland
Duration: 31 Aug 20154 Sep 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9255
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference21st International Conference on the Principles and Practice of Constraint Programming, CP 2015
Country/TerritoryIreland
CityCork
Period31/08/154/09/15

Fingerprint

Dive into the research topics of 'Broken triangles revisited'. Together they form a unique fingerprint.

Cite this