Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Modelling with Option Types in MiniZinc.

C. Mears, A. Schutt, P. Stuckey, G. Tack, K. Marriott, and M. Wallace. CPAIOR, volume 8451 of Lecture Notes in Computer Science, page 88-103. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Christopher Mehlich University of Stuttgart

Christopher Braun University of Stuttgart

Christopher Groll University of Stuttgart

Christopher Hartmann University of Stuttgart

Christopher Langner University of Stuttgart

Other publications of authors with the same name

Lightweight dynamic symmetry breaking.C. Mears, M. de la Banda, B. Demoen, and M. Wallace. Constraints, 19 (3): 195-242 (2014)Improved Optimal and Approximate Power Graph Compression for Clearer Visualisation of Dense Graphs.T. Dwyer, C. Mears, K. Morgan, T. Niven, K. Marriott, and M. Wallace. CoRR, (2013)What do Constraint Programming Users Want to See? Exploring the Role of Visualisation in Profiling of Models and Search.S. Goodwin, C. Mears, T. Dwyer, M. de la Banda, G. Tack, and M. Wallace. IEEE Trans. Vis. Comput. Graph., 23 (1): 281-290 (2017)Improved Optimal and Approximate Power Graph Compression for Clearer Visualisation of Dense Graphs.T. Dwyer, C. Mears, K. Morgan, T. Niven, K. Marriott, and M. Wallace. PacificVis, page 105-112. IEEE Computer Society, (2014)PhD theses in constraints.G. Tack, and C. Mears. Constraints, 22 (1): 90 (2017)Towards Automatic Dominance Breaking for Constraint Optimization Problems.C. Mears, and M. de la Banda. IJCAI, page 360-366. AAAI Press, (2015)Symmetries and Lazy Clause Generation.G. Chu, P. Stuckey, M. de la Banda, and C. Mears. IJCAI, page 516-521. IJCAI/AAAI, (2011)A Novel Approach For Detecting Symmetries in CSP Models.C. Mears, M. de la Banda, M. Wallace, and B. Demoen. CPAIOR, volume 5015 of Lecture Notes in Computer Science, page 158-172. Springer, (2008)Modelling with Option Types in MiniZinc.C. Mears, A. Schutt, P. Stuckey, G. Tack, K. Marriott, and M. Wallace. CPAIOR, volume 8451 of Lecture Notes in Computer Science, page 88-103. Springer, (2014)A method for detecting symmetries in constraint models and its generalisation.C. Mears, M. de la Banda, M. Wallace, and B. Demoen. Constraints, 20 (2): 235-273 (2015)