Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in constraint-programming

How to (efficiently) generate disjoint sets while usings pairs of elements only once?

Solving the Zebra puzzle (aka. Einstein puzzle) using the clpfd Prolog library

Simple constraint programming solver

Boolean operations on constraints in Google or-tools library

How can i install Google's CP solver OR-Tools in MiniZinc?

Solution to Smullyan's numerical machines

I am looking for a radio advertising scheduling algorithm / example / experience

Meeting scheduling algorithm with Overlapping Time Slots

Constrained graph transformation in scheduling applications

Solving a system of equations in Prolog

Expressing setup time with cumulatives

Solving "Feed the Golorp" puzzle in Prolog

Given a list of numbers, find all matrices such that each column and row sum up to 264

What's the advantage of SMT-solver over CSP-solver in constraint solving?

Constraint Satisfaction Problems with solvers VS Systematic Search

Solving a simple geometric puzzle in CLPQ/R (Prolog)

From expensive search to Integer Programming or Constraint Programming?

Example channelling constraints ECLiPSe

Difference LP/MIP and CP