Research
Research
Our Projects
Industry Sectors
Our People
Publications
Partner with OPTIMA
Partner with OPTIMA
Optimisation for good
More on OPTIMA
More on OPTIMA
Governance Committees
Pathways to optimisation
Student Exchange
Equity, Diversity and Inclusion Resources
Work at OPTIMA
Work at OPTIMA
Events
Events
OPTIMA-CON 2024
Past Events
Past Seminars
2023 Workshop on AI-based Optimisation (AI-OPT 2023)
OPTIMA GRADUATE RESEARCHERS CONFERENCE
2022 Workshop on AI-based Optimisation (AI-OPT 2022)
OPTIMA Centre Launch 2022
Members’ Area
Contact Us
Log In
Login / Register
Cart
Your cart is currently empty.
Stuckey P.J.
Home
Posts Tagged "Stuckey P.J."
Stuckey P.J.
A First Approach to Risk-Limiting Audits for Single Transferable Vote Elections
by Optima Administrator
Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning
by Optima Administrator
Optimising training for service delivery
by Optima Administrator
Coupling Different Integer Encodings for?SAT
by Optima Administrator
Enumerated Types and?Type Extensions for?MiniZinc
by Optima Administrator
Explaining Propagation for Gini and Spread with Variable Mean
by Optima Administrator
Privacy Preference Center
Privacy Preferences
