//-->
A Boolean satisfiability approach to the resource-constrained project scheduling problem
Horbach, Andrei, (2010)
A boolean satisfiability approach to the resource-constrained project scheduling problem
Horbach, Andrei, (2009)
A new class of valid inequalities for the round robin tournament problem
Horbach, Andrei, (2008)