Optimizing a BDD-Based Modal Solver.

Guoqiang Pan Moshe Y. Vardi

Published in: CADE (2003)

Keyphrases

modal logic
constraint solver
breadth first search
neural network
artificial intelligence
databases
information systems
image sequences