May H. C. Woo

Publication Activity (10 Years)

Years Active: 2006-2013
Publications (10 Years): 0

Top Topics

Constrained Problems

Interval Arithmetic

Constraint Propagation

Systematic Search

Top Venues

Constraints An Int. J.

Publications

Yat Chiu Law, Jimmy Ho-Man Lee, Toby Walsh, May H. C. Woo
Multiset variable representations and constraint propagation. Constraints An Int. J. 18 (3) (2013)
Yat Chiu Law, Jimmy Ho-Man Lee, May H. C. Woo
Redundant modeling in permutation weighted constraint satisfaction problems. Constraints An Int. J. 15 (3) (2010)
Yat Chiu Law, Jimmy Ho-Man Lee, May H. C. Woo
Variety Reasoning for Multiset Constraint Propagation. IJCAI (2009)
Yat Chiu Law, Jimmy Ho-Man Lee, May H. C. Woo
A Parameterized Local Consistency for Redundant Modeling in Weighted CSPs. Australian Conference on Artificial Intelligence (2007)
Yat Chiu Law, Jimmy Ho-Man Lee, May H. C. Woo
Speeding Up Weighted Constraint Satisfaction Using Redundant Modeling. Australian Conference on Artificial Intelligence (2006)