Constraint Programming for High School Timetabling: A Scheduling-Based Model with Hot Starts
暂无分享,去创建一个
[1] N. Musliu,et al. Modeling High School Timetabling as Partial Weighted maxSAT , 2014 .
[2] Thomas Jacob Riis. Comparing Solution Approaches for a Complete Model of High School Timetabling , 2016 .
[3] Luciana S. Buriol,et al. A fix-and-optimize heuristic for the high school timetabling problem , 2014, Comput. Oper. Res..
[4] Nelson Maculan,et al. Strong bounds with cut and column generation for class-teacher timetabling , 2012, Ann. Oper. Res..
[5] Adnan Darwiche,et al. A Lightweight Component Caching Scheme for Satisfiability Solvers , 2007, SAT.
[6] Matias Sørensen,et al. A Two-Stage Decomposition of High School Timetabling applied to cases in Denmark , 2014, Comput. Oper. Res..
[7] I. Roig,et al. Solving hard industrial combinatorial problems with SAT , 2013 .
[8] Gilles Pesant,et al. A Regular Language Membership Constraint for Finite Sequences of Variables , 2004, CP.
[9] Matias Sørensen,et al. Hybridizing Integer Programming and Metaheuristics for Solving High School Timetabling , 2014 .
[10] Peter J. Stuckey,et al. MiniZinc: Towards a Standard CP Modelling Language , 2007, CP.
[11] Jeffrey H. Kingston,et al. An XML format for benchmarks in High School Timetabling , 2010, Ann. Oper. Res..
[12] Michael Marte,et al. Towards constraint-based school timetabling , 2007, Ann. Oper. Res..
[13] Geoffrey Chu,et al. Improving combinatorial optimization , 2011 .
[14] Hermann Gehring,et al. Timetabling at German Secondary Schools: Tabu Search versus Constraint Programming , 2006 .
[15] Vasco M. Manquinho,et al. Open-WBO: A Modular MaxSAT Solver, , 2014, SAT.
[16] Marcone J. F. Souza,et al. GOAL solver: a hybrid local search based solver for high school timetabling , 2016, Ann. Oper. Res..
[17] Ender Özcan,et al. HySST: Hyper-heuristic Search Strategies and Timetabling , 2012 .
[18] Thomas R. Stidsen,et al. Integer programming for the generalized high school timetabling problem , 2015, J. Sched..
[19] Nysret Musliu. Solving High School Timetabling with Satisability Modulo Theories , 2014 .
[20] George H. G. Fonseca,et al. Variable Neighborhood Search based algorithms for high school timetabling , 2014, Comput. Oper. Res..
[21] Matias Stidsen Sørensen,et al. High School Timetabling: Modeling and solving a large number of cases in Denmark , 2013 .
[22] Simon Kristiansen,et al. International Timetabling Competition 2011: An Adaptive Large Neighborhood Search algorithm , 2012 .
[23] Efthymios Housos,et al. Constraint programming approach for school timetabling , 2003, Comput. Oper. Res..
[24] Nysret Musliu,et al. MaxSAT-based large neighborhood search for high school timetabling , 2017, Comput. Oper. Res..
[25] David Zuckerman,et al. Optimal speedup of Las Vegas algorithms , 1993, [1993] The 2nd Israel Symposium on Theory and Computing Systems.
[26] Nysret Musliu,et al. XHSTT: an XML archive for high school timetabling problems in different countries , 2014, Ann. Oper. Res..