QuikFix A Repair-based Timetable Solver
QuikFix A Repair-based Timetable Solver
复制标题
QuikFix 基于修复的时间表求解器
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
B. Love
中科院分区：
文献类型：
--
作者：
Michael Clark;M. Henz;B. Love
QuikFix是一个软件程序，用于解决布线问题。该软件适应修复为基础的启发式搜索已知的SAT解决的可扩展域。一个高级的特定于搜索的模型强制执行结构约束，并允许在搜索空间中进行有意义的移动，例如交换时间段或事件地点。QuikFix使用已知的技术来提高搜索性能，例如多启动，禁忌列表和策略振荡。该软件通过使用面向对象的编程技术可以轻松扩展，并已用于新加坡K-12国际学校的布线，并作为ITC 2007布线竞赛的参赛作品。
QuikFix is a software program for solving timetabling problems. The software adapts repair-based heuristic search known in SAT solving to the timetabling domain. A high-level timetabling-specific model enforces structural constraints and allows for meaningful moves in the search space, such as swaps of the time slots or venues of events. QuikFix uses known techniques to improve the search performance, such as multi-starts, tabu lists, and strategic oscillation. The software is easily extensible through the use of object-oriented programming techniques and has been employed for the timetabling of a Singapore K-12 international school, and as an entry to the ITC 2007 timetabling competition.