The VeRoLog Solver Challenge 2019 Joaquim Gromicho, Pim van 't Hof, Daniele Vigo sciencesconf.org:verolog2019:248407
Matheuristics for the 2019 VeRoLog Solver Challenge: MIPs and Bits Caroline Jagtenberg, Andrea Raith, Michael Sundvick, Kevin Shen, Andrew Mason, Oliver Maclaren sciencesconf.org:verolog2019:250600