Modelling with Option Types in MiniZinc.

Christopher Mears, Andreas Schutt, Peter J. Stuckey, Guido Tack, Kim Marriott, Mark Wallace

Browse the full CPAIOR paper archive.