User menu

Automatic solver chaining in MiningZinc

Bibliographic reference Guns, Tias ; Dries, Anton ; Tack, Guido ; Nijssen, Siegfried ; De Raedt, Luc. Automatic solver chaining in MiningZinc.International Workshop on Constraint Modelling and Reformulation (Cork, Ireland). In: Proceedings of the 14th International Workshop on Constraint Modelling and Reformulation (ModRef), 2015
Permanent URL http://hdl.handle.net/2078.1/186730