Login / Signup
Controlled Lagrangians and Stabilization of Euler-Poincaré Equations with Symmetry Breaking Nonholonomic Constraints.
Jorge Silva Garcia
Tomoki Ohsawa
Published in:
J. Nonlinear Sci. (2024)
Keyphrases
</>
symmetry breaking
constraint programming
global constraints
differential equations
search tree
symmetry breaking constraints
pseudo boolean
combinatorial problems
constraint satisfaction problems
integer linear programming
constraint satisfaction
graph coloring
data structure
sat solvers