scientific article; zbMATH DE number 7453148

MaRDI QIDQ5020593

Fabio Tardivo

Publication date: 6 January 2022

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

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

Mathematics Subject Classification ID

Logic programming (68N17)

Uses Software

• sunny-cp
• CUD@SAT

Cites Work

• Principles and practice of constraint programming -- CP 2009. 15th international conference, CP 2009, Lisbon, Portugal, September 20--24, 2009. Proceedings
• Principles and practice of constraint programming -- CP 2007. 13th international conference, CP 2007, Providence, RI, USA, September 23--27, 2007. Proceedings
• A distributed arc-consistency algorithm
• A review of literature on parallel constraint solving
• Handbook of Parallel Constraint Reasoning
• Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges

This page was built for publication: