DFM: where's the proof of value?

Shishpal Rawat Raul Camposano Andrew B. Kahng Joseph Sawicki Mike Gianfagna Naeem Zafar Atul Sharan

Published in: DAC (2006)

Keyphrases

theorem proving
digital libraries
theorem prover
image sequences
search algorithm
probability distribution
linear logic
proof planning
real time
information systems
cooperative
complete axiomatization