VIDEO DOI: https://doi.org/10.48448/84c3-3t64

poster

AAAI 2023

February 10, 2023

Washington, United States

From Width-Based Model Checking to Width-Based Automated Theorem Proving

Please log in to leave a comment

Downloads

SlidesTranscript English (automatic)

Next from AAAI 2023

poster

Fast and Interpretable Dynamics for Fisher Markets via Block-Coordinate Updates

AAAI 2023

Tianlong Nan and 2 other authors

10 February 2023

Similar lecture

poster

OPT-GAN: A Broad-Spectrum Global Optimizer for Black-box Problems by Learning Distribution

AAAI 2023

+4
Lin Wang and 6 other authors

11 February 2023

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