Geometry and symmetry-breaking in cell polarity.

Stefano Di Talia

Published in: Nat. Comput. Sci. (2022)

Keyphrases

symmetry breaking
constraint programming
global constraints
search tree
boolean satisfiability
integer linear programming
quantified boolean formulae
constraint satisfaction problems
graph coloring
sat solvers
combinatorial problems
boolean optimization
constraint satisfaction
constraint propagation