Reflecting BDDs in Coq.

Kumar Neeraj Verma Jean Goubault-Larrecq Sanjiva Prasad S. Arun-Kumar

Published in: ASIAN (2000)

Keyphrases

first order logic
theorem prover
timed automata
heuristic search
binary decision diagrams
data sets
information retrieval
artificial intelligence
web pages
formal methods
databases
preprocessing
evolutionary algorithm
software engineering
knowledge compilation