Lagoon, Vitaly

3 publications

IJCAI 2017 The DNA Word Design Problem: A New Constraint Model and New Results Michael Codish, Michael Frank, Vitaly Lagoon

JAIR 2010 Fast Set Bounds Propagation Using a BDD-SAT Hybrid Graeme Gange, Peter J. Stuckey, Vitaly Lagoon

JAIR 2005 Solving Set Constraint Satisfaction Problems Using ROBDDs Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey