Solving constraint satisfaction problems I: Logic problems - Maple Application Center
Application Center Applications Solving constraint satisfaction problems I: Logic problems

Solving constraint satisfaction problems I: Logic problems

: Carl DeVore
Engineering software solutions from Maplesoft
This Application runs in Maple. Don't have Maple? No problem!
 Try Maple free for 15 days!
This is a program for solving or partially solving a class of Constraint Satisfaction Problems (CSPs). Specifically, this program works on CSPs that can be stated in terms of finding an equivalence relation on a finite set, given that the user can specify a partition of the set into Systems of Distinct Representatives (SDRs) of the equivalence classes. In the examples that follow, we will see that many CSPs that do not at first appear to be in this form can be readily put into this form. In particular, many problems that appear in puzzle magazines as "Logic Problems" can be stated in this form.

Application Details

Publish Date: June 18, 2001
Created In: Maple 6
Language: English

More Like This

Animation of Taylor and Maclaurin series converging to their generated functions
Solving constraint satisfaction problems II: More difficult logic problems
Drawing well-labelled diagrams; Maple assumptions
Contour plots for three-ingredient mixing problems
Improved logarithmic plotting in 2 and 3 dimensions
Animation of Newton's Method
Inverse functions, their tangent lines, and their derivatives
Using the new bounding interval for the Integral Test to Approximate Series
Solving constraint satisfaction problems IV: Combinatorial square coloring
Solving constraint satisfaction problems III: Paint by numbers
A first-exposure-to-Maple showing a simple plot of some inverse functions
Integer root extraction and perfect-power detection via p-adic Newton-Hensel lifting