Author:
Abío Ignasi,Stuckey Peter J.
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Asín Achá, R., Nieuwenhuis, R.: Curriculum-based course timetabling with SAT and MaxSAT. Annals of Operations Research, 1–21 (February 2012)
2. Mcaloon, K., Tretkoff, C., Wetzel, G.: Sports league scheduling. In: Proceedings of the 3th Ilog International Users Meeting (1997)
3. Lecture Notes in Computer Science;I. Abío,2011
4. Warners, J.P.: A Linear-Time Transformation of Linear Inequalities into Conjunctive Normal Form. Information Processing Letters 68(2), 63–69 (1998)
5. Lecture Notes in Computer Science;O. Bailleux,2003
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献