VIDEO DOI: https://doi.org/10.48448/wbav-6120
PAPER DOI: https://doi.org/10.1609/aaai.v38i8.28631

technical paper

Runtime vs. Extracted Proof Size: An Exponential Gap for CDCL on QBFs | VIDEO

Please log in to leave a comment

Downloads

PaperTranscript English (automatic)

Next from AAAI 2024

Preparing Lessons for Progressive Training on Language Models
technical paper

Preparing Lessons for Progressive Training on Language Models

AAAI 2024

+6Qun LiuXin JiangYu Pan
Yu Pan and 8 other authors

24 February 2024

Stay up to date with the latest Underline news!

Select topic of interest (you can select more than one)

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