Reasoning from last conflict(s) in constraint programming
type: Item
instance of: scholarly article
title: Reasoning from last conflict(s) in constraint programming
zbMATH Open document ID: 1185.68645
author: Christophe Lecoutre
author: Lakhdar Sais
author: Sébastien Tabary
author: Vincent Vidal
published in: Artificial Intelligence
publication date: 2009-12-21T00:00:00Z
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 5650760
zbMATH Keywords: constraint satisfaction
zbMATH Keywords: conflicts
zbMATH Keywords: nogoods
zbMATH Keywords: intelligent backtracking
zbMATH Keywords: planning
describes a project that uses: PDDL
describes a project that uses: QUICKXPLAIN
MaRDI profile type: Publication
full work available at URL: j.artint.2009.09.002
OpenAlex ID: W2011292059
cites work: Q4472551
cites work: Q3184605
cites work: An optimal coarse-grained arc consistency algorithm
cites work: New methods to color the vertices of a graph
cites work: Radio link frequency assignment
cites work: Conflict-directed backjumping revisited
cites work: Domain filtering consistencies
cites work: STRIPS: A new approach to the application of theorem proving to problem solving
cites work: Q4475622
cites work: Q4449295
cites work: Random constraint satisfaction: Flaws and structure
cites work: Q5313998
cites work: Q4386920
cites work: Search Heuristics and Heavy-Tailed Behaviour
cites work: 2 -Way vs.d -Way Branching for CSP
cites work: Q4473030
cites work: Principles and Practice of Constraint Programming – CP 2003
cites work: Locating the phase transition in binary constraint satisfaction problems
cites work: Branching and pruning: An optimal temporal POCL planner based on constraint programming
cites work: Random constraint satisfaction: easy generation of hard (satisfiable) instances
cites work: Q4954175
DOI: 10.1016/J.ARTINT.2009.09.002
Recommended article: Constraint satisfaction using constraint logic programming
Recommended article: Constraint satisfaction from a deductive viewpoint
Recommended article: Fine-grained conflict resolution in constraint satisfaction problems
Recommended article: Reasoning on constraints in CLP(FD)
Recommended article: Q4347168
Recommended article: Q4347171
Recommended article: Constraint Programming
Recommended article: The logic of constraint satisfaction
Recommended article: A Logical Approach to Constraint Satisfaction
description: scientific article; zbMATH DE number 5650760