Yat Chiu Law

15 papers A* 3A 3Misc 1Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2013 J jnl
Multiset variable representations and constraint propagation.
Constraints An Int. J.
Yat Chiu Law, Jimmy Ho-Man Lee, Toby Walsh, May H. C. Woo
2011 J jnl
A Comparison of Lex Bounds for Multiset Variables in Constraint Programming
CoRR
Yat Chiu Law, Jimmy Ho-Man Lee, May Hiu-Chun Woo, Toby Walsh
2011 A* conf
A Comparison of Lex Bounds for Multiset Variables in Constraint Programming.
AAAI
Yat Chiu Law, Jimmy Ho-Man Lee, May Hiu-Chun Woo, Toby Walsh
2011 A* conf
Constraint Programming on Infinite Data Streams.
IJCAI
Arnaud Lallouet, Yat Chiu Law, Jimmy Ho-Man Lee, Charles F. K. Siu
2010 J jnl
Redundant modeling in permutation weighted constraint satisfaction problems.
Constraints An Int. J.
Yat Chiu Law, Jimmy Ho-Man Lee, May H. C. Woo
2009 A* conf
Variety Reasoning for Multiset Constraint Propagation.
IJCAI
Yat Chiu Law, Jimmy Ho-Man Lee, May H. C. Woo
2007 — conf
A Parameterized Local Consistency for Redundant Modeling in Weighted CSPs.
Australian Conference on Artificial Intelligence
Yat Chiu Law, Jimmy Ho-Man Lee, May H. C. Woo
2007 J jnl
Automatic Generation of Redundant Models for Permutation Constraint Satisfaction Problems.
Constraints An Int. J.
Yat Chiu Law, Jimmy Ho-Man Lee, Barbara M. Smith
2007 A conf
Breaking Symmetry of Interchangeable Variables and Values.
CP
Yat Chiu Law, Jimmy Ho-Man Lee, Toby Walsh, J. Y. K. Yip
2006 — conf
Speeding Up Weighted Constraint Satisfaction Using Redundant Modeling.
Australian Conference on Artificial Intelligence
Yat Chiu Law, Jimmy Ho-Man Lee, May H. C. Woo
2006 J jnl
Symmetry Breaking Constraints for Value Symmetries in Constraint Satisfaction.
Constraints An Int. J.
Yat Chiu Law, Jimmy H. M. Lee
2005 Misc conf
Breaking value symmetries in matrix models using channeling constraints.
SAC
Yat Chiu Law, Jimmy Ho-Man Lee
2004 A conf
Global Constraints for Integer and Set Value Precedence.
CP
Yat Chiu Law, Jimmy Ho-Man Lee
2002 A conf
Algebraic Properties of CSP Model Operators.
CP
Yat Chiu Law, Jimmy Ho-Man Lee
2002 — conf
Model Induction: A New Source of CSP Model Redundancy.
AAAI/IAAI
Yat Chiu Law, Jimmy Ho-Man Lee