Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in constraint-programming

Clarification on `failures` solver statistic in MiniZinc

constraint-programming minizinc

Increment variable array elements in Minizinc

constraint-programming minizinc

Finding all the Combinations - N Rectangles inside the Square

constraint-programming minizinc

Viewpoints Sudoku

prolog sudoku constraint-programming

Defining injective functions in Z3

z3 smt constraint-programming

How to use Picat to create CNF files from Minizinc files?

constraint-programming minizinc sat picat

Alternative to drools-planner/optaplanner in c++/c#?

c++ optimization constraint-programming drools-planner optaplanner

Set partitioning with constraints java

java dynamic-programming constraint-programming integer-programming

Cardinality constraints in MiniZinc

constraint-programming minizinc gecode

Looking for practical examples of SMT Z3 usecases (like DbC) and open source alternative to Z3? [closed]

.net constraint-programming sat-solvers z3

Solve extremely simple equation in prolog: A = B + C?

prolog constraint-programming

How would I efficiently find the min and max values of the variables in this constraint system?

algorithm constraints graph-theory linear-programming constraint-programming

How to use constraint programming for optimizing shopping baskets?

java constraints mathematical-optimization constraint-programming

Prolog: foreach or forall for constraint solving?

lambda prolog constraint-programming clpfd resource-scheduling

What is the most elegant way to find 16-bit numbers which satisfy some conditions?

prolog constraint-programming sat logic-programming clpb

Multi-Sudoku AI approach

artificial-intelligence theory sudoku solver constraint-programming

Two Dimensional Array Constraints: Sudoku

java constraints constraint-programming

Custom constraint OR-Tools // Constraint programming

constraint-programming or-tools
Older Entries »