Sign in

Efficient and Complete FD-solving for extended array constraints.

Quentin PlazarMathieu AcherSébastien BardinArnaud Gotlieb
Published in: IJCAI (2017)
Keyphrases