Auto-tabling for subproblem presolving in MiniZinc

DOI10.1007/S10601-017-9270-5MaRDI QIDQ1701238zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Jip J. Dekker, Gustav Björdal, Mats Carlsson, Pierre Flener, Jean-Noël Monette

Publication date 22 February 2018

Published in Constraints (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s10601-017-9270-5

zbMATH Keywords

presolvingMiniZincmodelling methodologytabling

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Combinatorial optimization (90C27)

Recommendations

• Automatically exploiting subproblem equivalence in constraint programming
• Tabling for non-monotonic programming
• A constraint-based local search backend for MiniZinc
• Tabling with answer subsumption: implementation, applications and performance
• Automated synthesis of tableau calculi
• Automated synthesis of tableau calculi

Cites work

• scientific article; zbMATH DE number 1487979 (Why is no real title available?)
• scientific article; zbMATH DE number 970738 (Why is no real title available?)
• A constraint-based local search backend for MiniZinc
• A system for solving constraint satisfaction problems with SMT
• Automatic generation of rule-based constraint solvers over finite domains
• Decision diagrams for optimization
• Generating custom propagators for arbitrary constraints
• Principles and Practice of Constraint Programming – CP 2004
• Scheduling double round-robin tournaments with divisional play using constraint programming
• Search in the patience game `Black Hole'
• Theory and Applications of Satisfiability Testing

Cited in

(4)

• Exact and metaheuristic methods for a real-world examination timetabling problem
• Automatically improving constraint models in Savile Row
• Practical reformulations with table constraints
• Compiling CP subproblems to MDDs and d-DNNFs

Describes a project that uses

Uses Software

• CHUFFED
• MiniSearch
• OR-tools
• Oscar.cbls
• Gecode
• MiniZinc
• MiniSat

This page was built for publication: Auto-tabling for subproblem presolving in MiniZinc

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1701238)