Login / Signup
Refutation by Randomised General Resolution.
Steven D. Prestwich
Inês Lynce
Published in:
AAAI (2007)
Keyphrases
</>
special case
high resolution
genetic algorithm
website
search algorithm
real world
data mining
information technology
low resolution
closely related
theorem proving