Generic Traces and Constraints, GenTra4CP revisited

Details Generic Traces and Constraints, GenTra4CP revisited Generic Traces and Constraints, GenTra4CP revisited

2011-05-31

arxiv.org/abs/1105.6210v1

Computer Science

Logic in Computer Science

Scientific paper

The generic trace format GenTra4CP has been defined in 2004 with the goal of becoming a standard trace format for the observation of constraint solvers over finite domains. It has not been used since. This paper defines the concept of generic trace formally, based on simple transformations of traces. It then analyzes, and occasionally corrects, shortcomings of the proposed initial format and shows the interest that a generic tracer may bring to develop portable applications or to standardization efforts, in particular in the field of constraints.

Affiliated with

Also associated with

No associations

Rating

Generic Traces and Constraints, GenTra4CP revisited does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Generic Traces and Constraints, GenTra4CP revisited, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Generic Traces and Constraints, GenTra4CP revisited will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-337841