Author:
Bofill Miquel,Garcia Marc,Suy Josep,Villaret Mateu
Publisher
Springer International Publishing
Reference12 articles.
1. Lecture Notes in Computer Science;I Abío,2013
2. Achá, R.J.A., Nieuwenhuis, R.: Curriculum-based course timetabling with SAT and MaxSAT. Annals OR 218(1), 71–91 (2014)
3. Lecture Notes in Computer Science;M Bofill,2014
4. Lecture Notes in Computer Science;M Bofill,2014
5. Demirović, E., Musliu, N.: Modeling high school timetablingas partial weighted MaxSAT. In: LaSh: The 4th Workshop on Logic and Search (a SAT / ICLP workshop at FLoC 2014). Austria, Vienna (2014)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Fixing Privilege Escalations in Cloud Access Control with MaxSAT and Graph Neural Networks;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
2. Solving Restricted Preemptive Scheduling on Parallel Machines with SAT and PMS;JUCS - Journal of Universal Computer Science;2023-08-28
3. Negative Learning Ant Colony Optimization for MaxSAT;International Journal of Computational Intelligence Systems;2022-08-29
4. The Impact of Implied Constraints on MaxSAT B2B Instances;International Journal of Computational Intelligence Systems;2022-08-11
5. Inference in MaxSAT and MinSAT;The Logic of Software. A Tasting Menu of Formal Methods;2022