Athanor: high-level local search over abstract constraint specifications in Essence

Saad Attieh, Nguyen Dang, Christopher Jefferson, Ian Miguel, Peter Nightingale

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2 results

Filter

Finished
A Learning, Optimising Compiler: A Learning, Optimising Compiler for Computational Group Theory
Jefferson, C. (PI)
The Royal Society
1/10/18 → 28/02/22
Project: Fellowship
Modelling and Optimisation with Graphs: Modelling and Optimisation with Graphs
Jefferson, C. (PI) & Akgun, O. (CoI)
EPSRC
1/07/17 → 31/10/20
Project: Standard