Breaking conditional symmetry in automated constraint modelling with CONJURE (2014)
Attributed to:
EPSRC-Royal Society fellowship engagement (2013): Combining Constraints and Verification
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.3233/978-1-61499-419-0-3
Publication URI: http://dx.doi.org/10.3233/978-1-61499-419-0-3
Parent Publication: Frontiers in Artificial Intelligence and Applications