Construction of New Medicines via Game Proof Search.

Abraham Heifets Igor Jurisica

Published in: AAAI (2012)

Keyphrases

proof search
linear logic
theorem prover
theorem proving
inference rules
proof planning
constraint satisfaction
genetic algorithm
artificial intelligence
optimal solution
random variables