Login / Signup
A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract).
Peter Madden
Jane Hesketh
Ian Green
Alan Bundy
Published in:
LOPSTR (1993)
Keyphrases
</>
automatically generating
proof planning
automatically generated
knowledge base
concept formation
image processing
evolutionary algorithm
scheduling problem
model checking
answer sets
building intelligent