Matchmaking with Answer Set Programming
暂无分享,去创建一个
[1] Edward P. K. Tsang,et al. Constraint Based Scheduling: Applying Constraint Programming to Scheduling Problems , 2003, J. Sched..
[2] Barry O'Sullivan,et al. Local search and constraint programming for the post enrolment-based course timetabling problem , 2012, Ann. Oper. Res..
[3] Philippe Baptiste,et al. Constraint-based scheduling , 2001 .
[4] Robert Nieuwenhuis,et al. Curriculum-based course timetabling with SAT and MaxSAT , 2012, Ann. Oper. Res..
[5] Tu,et al. Representing School Timetabling in a DisjunctiveLogic Programming Language , 1998 .
[6] Alex M. Andrew,et al. Knowledge Representation, Reasoning and Declarative Problem Solving , 2004 .
[7] Martin Gebser,et al. Multi-Criteria Optimization in Answer Set Programming , 2011, ICLP.