MiniCP: a lightweight solver for constraint programming
Crossref DOI link: https://doi.org/10.1007/s12532-020-00190-7
Published Online: 2021-02-05
Published Print: 2021-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Michel, L.
Schaus, P.
Van Hentenryck, P.
Text and Data Mining valid from 2021-02-05
Version of Record valid from 2021-02-05
Article History
Received: 15 September 2018
Accepted: 28 May 2020
First Online: 5 February 2021