Sign in
Improved Single Pass Algorithms for Resolution Proof Reduction - (Poster Presentation).
Ashutosh Gupta
Published in:
SAT (2012)
Keyphrases
</>
single pass
databases
artificial intelligence
stream mining