You are here

Local Search Framework LS(Graph) for CSPs on graphs

The objective of this research is to extend the Comet language by constructing a framework called LS(Graph) which aims at simplifying the modeling of CSPs on graphs. The goal of LS(Graph) is to strengthen the modeling features of Comet for an important class of CSP (CSPs on graphs) and to enhance compositionality.