INCA

Team

Description

INCA implements Constraint Answer Set Programming (CASP) via Lazy Nogood Generation (LNG) and a selection of translation techniques. It integrates GRINGO (3.0.92) for grounding CASP specifications, embeds CLASP (1.3.10) as its core search engine, and features a small collection of constraint propagators with their standard implementations that were enhanced with LNG capacities.

System Settings

The default settings of INCA is the following:

--var-encoding=force-bound --lazy var --lazy alldifferent --lazy linear --alldifferent-dc=no --linear-bc=no

It includes the bound representation of variables, LNG of constraint programming extensions using rather cheap propagation of global constraints (e.g., arc consistency propagator for all-different), and the default settings of the underlying systems.

The following table provides parameters that overrule the default settings on a per benchmark domain basis.

Nr

Benchmark Domain

System

Parameters

N01

Permutation Pattern Matching

INCA

--lazier --alldifferent-dc --linear-bc

N02

Valves Location Problem

INCA

--opt-heu

N04

Connected Maximum-density Still Life

INCA

--opt-heu

N05

Graceful Graphs

INCA

--lazier --alldifferent-dc --heuristic=vsids

N06

Bottle Filling Problem

INCA

--heuristic=vsids

N07

Nomystery

INCA

--heuristic=vsids --reduce-on-restart --restarts=100,1.0

N08

Sokoban

INCA

--heuristic=vsids

N09

Ricochet Robots

INCA

--heuristic=vsids --restarts=100,1.0 --save-progress

O10

Crossing Minimization

INCA

--linear-bc --opt-heu --heuristic=vsids --restart-on-model --reset-restart --deletion=3,75

N11

Reachability

DINGO+CLASPD

N12

Strategic Companies

GRINGO+CLASPD

--approx-usc=no --del=3,1.1,100 --forward-check=1.0

O13

Solitaire

INCA

--heuristic=vsids --restarts=256 --save-progress

O14

Weighted-Sequence Problem

INCA

--alldifferent-dc

O15

Stable Marriage

INCA

--var-encoding=value --heuristic=vsids --restarts=256 --save-progress

O16

Incremental Scheduling

INCA

--linear-bc --heuristic=vsids

References