List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Resolution meets cutting planes: introducing hypercube linear resolution | 2026-09-23 | Paper |
| Core-guided and core-boosted search for CP | 2022-12-21 | Paper |
| Constraint programming for high school timetabling: a scheduling-based model with hot starts | 2022-06-29 | Paper |
| Learning variable activity initialisation for lazy clause generation solvers | 2022-03-21 | Paper |
| Core-boosted linear search for incomplete MaxSAT | 2019-10-14 | Paper |
| Modeling and solving staff scheduling with partial weighted maxSAT Annals of Operations Research | 2019-03-06 | Paper |
| maxSAT-based large neighborhood search for high school timetabling Computers & Operations Research | 2018-07-11 | Paper |
| Modeling high school timetabling with bitvectors Annals of Operations Research | 2017-08-16 | Paper |
| Variable neighborhood search for Google machine reassignment problem Electronic Notes in Discrete Mathematics | 2013-07-23 | Paper |
Research outcomes over time
This page was built for person: Emir Demirović
