scientific article; zbMATH DE number 5225472

zbMath1151.90525MaRDI QIDQ5435012

S. Armagan Tarim, Barbara M. Smith, Tom Kelsey, Inês Lynce, Chris Jefferson, Peter W. Nightingale, Ian Miguel, Ian Philip Gent

Publication date: 14 January 2008

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

planningempirical evaluationConstraint Programming

Mathematics Subject Classification ID

Combinatorial optimization (90C27) General topics in artificial intelligence (68T01)

Related Items (6)

Implementing logical connectives in constraint programming ⋮ Auto-tabling for subproblem presolving in MiniZinc ⋮ The complexity of solitaire ⋮ A new branch-and-filter exact algorithm for binary constraint satisfaction problems ⋮ Compiling CP subproblems to MDDs and d-DNNFs ⋮ Symmetries, almost symmetries, and lazy clause generation

Uses Software

• Walksat
• Siege
• Chaff
• Graphplan

This page was built for publication: