Journal article

The MiniZinc Challenge 2008-2013

Peter J Stuckey, Thibaut Feydy, Andreas Schutt, Guido Tack, Julien Fischer

AI Magazine | AMER ASSOC ARTIFICIAL INTELL | Published : 2014

DOI: 10.1609/aimag.v35i2.2539

University of Melbourne Researchers

Andreas Schutt Author Computing and Information Systems

Peter Stuckey Author Computing and Information Systems

Citation metrics

24Web of Science

Keywords

Science & Technology

Sat Modulo Theories

Computer Science, Artificial Intelligence

Computer Science