ianm}@cs.st-andrews.ac.uk University of Oxford / University of Leeds / University of St Andrews / /
IndustryTerm
search nodes / reduced search / constraint systems / search space / search time / search heuristics / /
Organization
Austrian Academy of Science / University of St Andrews / Organising committee / UK Royal Academy of Engineering/EPSRC Research Fellowship / Ian P. Gent Chris Jefferson School of Computer Science / Golomb Ruler Problem School of Computing Research Report / University of Leeds / Peaceful Army / University of Oxford / /
Person
Andrea Rendl / Efficient Tailoring / M. Wallace Generalized Constraint / Sam-Haroud Using Directed Acyclic Graphs / Ian Miguel / Horn Clause / P. Van Hentenryck / Ian P. Gent Chris / /
Position
General / /
Product
De Morgan / TAILORv0.32 / using the tailoring tool TAILORv0.32 / /