MiniSearch

MaRDI QIDQ35017swMATHFDO

Official website https://link.springer.com/chapter/10.1007/978-3-319-23219-5_27

Cited in

(7)

• MiniBrass: soft constraints for MiniZinc
• NumberJack
• G12
• Oscar.cbls
• MiniBrass
• scientific article; zbMATH DE number 7453149 (Why is no real title available?)
• Auto-tabling for subproblem presolving in MiniZinc

This page was built for software: MiniSearch