SAT, CSP problems for physical systems are typically easy
Physical systems ...
- are causal
- can be modeled with few feedback loops
Hence, local propagation determines assignments to most state variables -- little search is required to test satisfiability.
Approach: Build RISC-like onboard deductive kernel
Propositional SAT or CSP algorithm at its core.
Minimize SAT queries (e.g., < 10) using highly focused, best first search methods.