welcome: please sign in

Upload page content

You can upload content for the page named below. If you change the page name, you can also upload content for another page. If the page name is empty, we derive the page name from the file name.

File to load page content from
Page name
Comment

Revision 3 as of 2011-05-22 08:23:58

location: Participants / BPSolver

BPSolver

Contents

  1. BPSolver
    1. Association
    2. Description
    3. Participants
    4. System Settings

Association

International.

Description

Uses the B-Prolog system: tabling for dynamic programming problems, CLP(FD) for most CSPs, and foreach and list comprehension for loops and aggregates.

Participants

System Settings

Only the default setting was used and no special setting was used for individual programs since B-Prolog automatically garbage-collects and expands stacks as needed. Except for three problems (Grammar, Company control, and Labyrinth) that required only plain Prolog, all the solutions used either CLP(FD) or tabling. Most of the high-performing CLP(FD) programs used global constraints including all_distinct, element, circuit, cumulative, and path_from_to. Mode-directed tabling demonstrated a strong performance in the competition. It not only helped easily solve the path-finding problems such as Airport-Pickup and Hydraulic Planning problems, but also helped provide elegant and efficient dynamic programming solutions to the Sokoban and Hanoi Tower problems for which tabling and CLP(FD) had been considered unsuited. The BPSolver solutions are available at:

http://www.sci.brooklyn.cuny.edu/~zhou/asp11/
http://probp.com/asp11/