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

29Web of Science

Keywords

Sat Modulo Theories

Computer Science, Artificial Intelligence

Science & Technology

Computer Science