Wire Routing and Satisfiability Planning.

Esra Erdem Vladimir Lifschitz Martin D. F. Wong

Published in: Computational Logic (2000)

Keyphrases

routing algorithm
satisfiability problem
propositional logic
network topology
sat solving
planning problems
routing protocol
computational complexity
blocks world
np complete
learning algorithm
motion planning
decision theoretic
ai planning
mixed initiative
plan generation
neural network