Volume: Vol-4244 CILC 2026 | Year: 2026

Paper: « paper21 | paper22 | paper23 »

Extending Structured Declarative Language with Constraint Programming via MiniZinc

• Mario Alviano
• Carmine Dodaro
• Thomas Eiter
• Tobias Geibinger
• Ilaria Raffaela Vasile

PDF