You are here

Automated Symmetry Breaking and Model Selection in Conjure

Authors: 

Ozgur Akgun, Alan M. Frisch, Ian P. Gent, Bilal Hussain, Christopher A. Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale

Publication Type: 
Refereed Conference Meeting Proceeding
Conference Name: 
CP2013
Proceedings: 
LNCS 8124
Digital Object Identifer (DOI): 
10.1007/978-3-642-40627-0_11
Publication Date: 
23/09/2013
Volume: 
8124
Pages: 
107-116
Conference Location: 
Sweden
Research Group: 
Institution: 
National University of Ireland, Cork (UCC)
Open access repository: 
No