Geoffrey Chu

Available identifiers

zbMath Open chu.geoffreyMaRDI QIDQ453590

List of research outcomes

Publication	Date of Publication	Type
Learning Value Heuristics for Constraint Programming	2016-07-25	Paper
Lagrangian Decomposition via Sub-problem Search	2016-06-27	Paper
$$\#\exists $$ SAT: Projected Model Counting	2015-11-20	Paper
Dominance breaking constraints	2015-04-29	Paper
Symmetries, almost symmetries, and lazy clause generation	2015-04-29	Paper
Stable model semantics for founded bounds	2014-02-27	Paper
A complete solution to the maximum density still life problem	2012-11-15	Paper
Exploiting subproblem dominance in constraint programming	2012-09-27	Paper
Solving talent scheduling with dynamic programming	2012-07-28	Paper
Automatically exploiting subproblem equivalence in constraint programming	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