Scheduling B2B Meetings

In this work we deal with the problem of scheduling meetings between research groups, companies and investors in a scientific and technological forum. We provide a CP formulation and a Pseudo-Boolean formulation of the problem, and empirically test the performance of different solving techniques, such as CP, lazy clause generation, SMT, and ILP, on industrial and crafted instances of the problem. The solutions obtained clearly improve expert handmade solutions with respect to the number of idle time slots and other quality parameters.

[1]  Albert Oliveras,et al.  A New Look at BDDs for Pseudo-Boolean Constraints , 2012, J. Artif. Intell. Res..

[2]  Vasco M. Manquinho,et al.  Algorithms for Weighted Boolean Optimization , 2009, SAT.

[3]  Alon Itai,et al.  On the complexity of time table and multi-commodity flow problems , 1975, 16th Annual Symposium on Foundations of Computer Science (sfcs 1975).

[4]  Martin Gebser,et al.  Matchmaking with Answer Set Programming , 2013, LPNMR.

[5]  Miquel Bofill,et al.  W-MiniZinc: A Proposal for Modeling Weighted CSPs with MiniZinc , 2011 .

[6]  Maria Luisa Bonet,et al.  Solving (Weighted) Partial MaxSAT through Satisfiability Testing , 2009, SAT.

[7]  Mateu Villaret,et al.  Boosting Weighted CSP Resolution with Shared BDDs? , 2013 .

[8]  Peter J. Stuckey,et al.  Propagation via lazy clause generation , 2009, Constraints.

[9]  Peter J. Stuckey,et al.  MiniZinc: Towards a Standard CP Modelling Language , 2007, CP.

[10]  L. D. Moura,et al.  The YICES SMT Solver , 2006 .

[11]  Martin Gebser,et al.  clasp : A Conflict-Driven Answer Set Solver , 2007, LPNMR.

[12]  Carlos Ansótegui,et al.  Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories , 2012, Constraints.

[13]  Tobias Achterberg,et al.  SCIP: solving constraint integer programs , 2009, Math. Program. Comput..

[14]  Mateu Villaret,et al.  An extension to Simply for solving Weighted Constraint Satisfaction Problems with Pseudo-Boolean Constraints , 2012 .