welcome: please sign in
location: Participants\B-Prolog

The B-Prolog International Team



B-Prolog provides several tools for tackling combinatorial optimization problems, including tabling for dynamic programming problems, CLP(FD) for CSPs, and a compiler that translates CSPs into SAT.

System Settings

Among the 15 submitted solutions, 8 solutions use CLP(FD), 5 solutions use tabling, and 2 solutions use SAT (the Lingeling solver). Problem-specific strategies are encoded in the solutions and all of the solutions use the same default system setting.


ASP Competition 2013: Participants\B-Prolog (last edited 2013-05-23 22:31:51 by FrancescoCalimeri)