Satisfiability of Viability Constraints for Pfaffian Dynamics.
Margarita V. KorovinaNicolai N. Vorobjov Jr.Published in: Ershov Memorial Conference (2006)
Keyphrases
- physical constraints
- satisfiability problem
- dynamical systems
- constraint programming
- genetic algorithm
- np complete
- database
- initial conditions
- geometric constraints
- sat encodings
- symmetry breaking
- resource constraints
- constraint networks
- global constraints
- constrained optimization
- propositional logic
- co occurrence
- real time