Symmetry Breaking and Establishment of Dorsal/Ventral Polarity in the Early Sea Urchin Embryo.
Vincenzo CavalieriGiovanni SpinelliPublished in: Symmetry (2015)
Keyphrases
- symmetry breaking
- receptive fields
- constraint programming
- boolean satisfiability
- quantified boolean formulae
- biologically inspired
- global constraints
- natural images
- search tree
- constraint satisfaction problems
- integer linear programming
- graph coloring
- boolean optimization
- gene expression
- combinatorial problems
- constraint propagation
- symmetry breaking constraints
- optimal solution
- sat solvers
- scheduling problem
- lower bound