Search Results for author: Ian Gent

Found 1 papers, 0 papers with code

CSPLib: Twenty Years On

no code implementations30 Sep 2019 Ian Gent, Toby Walsh

In 1999, we introduced CSPLib, a benchmark library for the constraints community.

Automated Theorem Proving BIG-bench Machine Learning

Cannot find the paper you are looking for? You can Submit a new open access paper.