Login / Signup
Colin Quirke
Publication Activity (10 Years)
Years Active: 2003-2004
Publications (10 Years): 0
</>
Publications
</>
Steven D. Prestwich
,
Colin Quirke
Local Search for Very Large SAT Problems.
SAT
(2004)
Colin Quirke
Search for Mathematical Objects.
CP
(2003)