Developing a Generic Trace Model for Constraint Solving in CLP(fd): Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

24 December 2023

  • curprev 03:3403:34, 24 December 2023‎ SatoshiNakamoto talk contribs‎ 1,403 bytes +1,403‎ Created page with "Title: Developing a Generic Trace Model for Constraint Solving in CLP(fd) Research Question: How can we develop a generic trace model for constraint solving in CLP(fd) that can be used by various debugging tools, and how can we validate this model? Methodology: We propose a trace model for constraint solving by narrowing, which is the first one proposed for CLP(fd). We also develop an instrumented meta-interpreter to experiment with the model. This meta-interpreter is..."
Retrieved from "https://simplesci.org/wiki/Developing_a_Generic_Trace_Model_for_Constraint_Solving_in_CLP(fd)"