Geoffrey Chu

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Learning value heuristics for constraint programming Integration of AI and OR Techniques in Constraint Programming	2016-07-25	Paper
Lagrangian decomposition via sub-problem search Integration of AI and OR Techniques in Constraint Programming	2016-06-27	Paper
\(\#{\exists}\mathrm{SAT}\): projected model counting Lecture Notes in Computer Science	2015-11-20	Paper
Dominance breaking constraints Constraints	2015-04-29	Paper
Symmetries, almost symmetries, and lazy clause generation Constraints	2015-04-29	Paper
Stable model semantics for founded bounds Theory and Practice of Logic Programming	2014-02-27	Paper
A complete solution to the maximum density still life problem Artificial Intelligence	2012-11-15	Paper
Exploiting subproblem dominance in constraint programming Constraints	2012-09-27	Paper
Solving talent scheduling with dynamic programming INFORMS Journal on Computing	2012-07-28	Paper
Automatically exploiting subproblem equivalence in constraint programming Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems	2010-06-22	Paper
Cache conscious data structures for Boolean satisfiability solvers	2009-10-12	Paper

Research outcomes over time

This page was built for person: Geoffrey Chu