VIDEO DOI: https://doi.org/10.48448/azdh-pt14

technical paper

ECAI 2020

August 31, 2020

Live on Underline

Speeding Up CDCL Inference With Duplicate Learnt Clauses

Please log in to leave a comment

Downloads

Transcript English (automatic)

Next from ECAI 2020

PushNet: Efficient and Adaptive Neural Message Passing
technical paper

PushNet: Efficient and Adaptive Neural Message Passing

ECAI 2020

Julian Busch
Julian Busch

31 August 2020

Similar lecture

Counting Knot Mosaics with ALLSAT
lightning talk

Counting Knot Mosaics with ALLSAT

AAAI 2023

Hannah Miller
Hannah Miller and 1 other author

Stay up to date with the latest Underline news!

PRESENTATIONS

  • All Lectures
  • For Librarians
  • Resource Center
  • Free Trial
Underline Science, Inc.
1216 Broadway, 2nd Floor, New York, NY 10001, USA

© 2023 Underline - All rights reserved