| Solving Satisfaction Problems Using Large-Neighbourhood Search
|
2020 |
Björdal, Gustav |
| Pure MaxSAT and Its Applications to Combinatorial Optimization via Linear Local Search
|
2020 |
Cai, Shaowei |
| Quantum-Accelerated Global Constraint Filtering
|
2020 |
Booth, Kyle E. C. |
| Tractable Fragments of Temporal Sequences of Topological Information
|
2020 |
Cohen-Solal, Quentin |
| Bounding Linear Programs by Constraint Propagation: Application to Max-SAT
|
2020 |
Dlask, Tomáš |
| Aggregation and Garbage Collection for Online Optimization
|
2020 |
Ek, Alexander |
| A Faster Exact Algorithm to Count X3SAT Solutions
|
2020 |
Hoi, Gordon |
| HADDOCK: A Language and Architecture for Decision Diagram Compilation
|
2020 |
Gentzel, Rebecca |
| Large Neighborhood Search for Temperature Control with Demand Response
|
2020 |
Lam, Edward |
| Pushing Data into CP Models Using Graphical Model Learning and Solving
|
2020 |
Brouard, Celine |
| Computing Optimal Decision Sets with SAT
|
2020 |
Yu, Jinqiang |
| Effective Encodings of Constraint Programming Models to SMT
|
2020 |
Davidson, Ewan |
| Towards Faster Reasoners by Using Transparent Huge Pages
|
2020 |
Fichte, Johannes K. |
| The Argmax Constraint
|
2020 |
Gange, Graeme |
| Visualizations to Summarize Search Behavior
|
2020 |
Howell, lan S. |
| Perturbing Branching Heuristics in Constraint Solving
|
2020 |
Paparrizou, Anastasia |
| MaxSAT-Based Postprocessing for Treedepth
|
2020 |
Ramaswamy, Vaidyanathan Peruvemba |
| Towards a Generic Interval Solver for Differential-Algebraic CSP
|
2020 |
Rohou, Simon |
| abstractXOR: A global constraint dedicated to differential cryptanalysis
|
2020 |
Rouquette, Loïc |
| A Two-Phase Constraint Programming Model for Examination Timetabling at University College Cork
|
2020 |
Genc, Begum |
Tag hinzufügen