Satisfiability of Viability Constraints for Pfaffian Dynamics.

Margarita V. Korovina Nicolai 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