Publisher
Springer Science and Business Media LLC
Subject
Management Science and Operations Research,Mechanical Engineering,Transportation,Information Systems
Reference33 articles.
1. Auer P, Cesa-Bianchi N, Fischer P (2002) Finite time analysis of the multiarmed bandit problem. Mach Learn 47(2–3):235–256. https://doi.org/10.1023/A:1013689704352
2. Cook SA (1971) The complexity of theorem-proving procedures. In: Proceedings of the third annual ACM symposium on theory of computing. ACM, pp 151–158
3. de Waal E (2005) Generating periodic timetables using a cutting plane algorithm. M.sc. thesis, Vrije Universiteit Amsterdam
4. Fu Z, Malik S (2006) On solving the partial MAX-SAT problem. In: International conference on theory and applications of satisfiability testing. Springer, Berlin, Heidelberg, pp 252–265
5. Gattermann P, Nachtigall K (2016) Integrating passengers’ routes in periodic timetabling: a SAT approach. In: Goerigk M, Werneck R (eds) 16th workshop on algorithmic approaches for transportation modelling, optimization, and systems (ATMOS 2016), Schloss Dagstuhl–Leibniz-Zentrum für Informatik, pp 3:1–3:15
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献