A Suspension-Trace Semantics for CSP.

Ana Cavalcanti Robert M. Hierons Sidney C. Nogueira Augusto Sampaio

Published in: TASE (2016)

Keyphrases

constraint satisfaction problems
logic programming
constraint satisfaction
semantic information
databases
formal semantics
data sets
constraint propagation
operational semantics
search algorithm
expert systems
search space
np hard
constraint programming
solving constraint satisfaction problems
tree decompositions