scientific article; zbMATH DE number 7453149

MaRDI QIDQ5020594

Mateusz Ślażyński

Publication date: 6 January 2022

Full work available at URL: https://arxiv.org/abs/1909.08261

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

Mathematics Subject Classification ID

Logic programming (68N17)

Uses Software

• COMET
• CPLEX
• EasyLocal++
• MiniZinc
• FlatZinc
• Oz
• OscaR
• claspfolio 2
• OR-tools
• Localizer
• GitHub
• MiniSearch
• Essence

Cites Work

• A Modeling Language for Mathematical Programming
• A constraint-based local search backend for MiniZinc
• Essence: A constraint language for specifying combinatorial problems
• Reasoning on sequences in constraint-based local search frameworks
• Musical constraint satisfaction problems solved with adaptive search
• A path relinking approach with ejection chains for the generalized assignment problem
• claspfolio2: Advances in Algorithm Selection for Answer Set Programming
• Parallel Local Search in Comet
• Localizer: A Modeling Language for Local Search
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: