scientific article; zbMATH DE number 7453113

MaRDI QIDQ5020555

Mateusz Ślażyński, Salvador Abreu, Grzegorz J. Nalepa

Publication date: 6 January 2022

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

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

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items

Unnamed Item

Uses Software

• COMET
• FlatZinc
• SWI-Prolog
• PonyGE2
• GitHub

Cites Work

• Unnamed Item
• Unnamed Item
• A constraint-based local search backend for MiniZinc
• A new neighborhood structure for round robin scheduling problems
• SWI-Prolog and the web
• Parallel Local Search in Comet
• Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems