Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Solving Satisfaction Problems Using Large-Neighbourhood Search. | 0 | 0.34 | 2020 |
| Generating Compound Moves in Local Search by Hybridisation with Complete Search. | 0 | 0.34 | 2019 |
| Declarative Local-Search Neighbourhoods in MiniZinc | 0 | 0.34 | 2018 |
| Auto-tabling for subproblem presolving in MiniZinc. | 2 | 0.38 | 2017 |