Reversing: an essential heuristic in program and proof design.

David Ginat Michal Armoni

Published in: SIGCSE (2006)

Keyphrases

design process
optimal solution
control program
databases
information retrieval
artificial intelligence
information systems
knowledge base
simulated annealing
theorem proving
design decisions
network design