VIDEO DOI: https://doi.org/10.48448/x8f2-1m70
PAPER DOI: ATL, SAT-Based Satisfiability, Monotonic Theories

technical paper

AAMAS 2020

May 09, 2020

Live on Underline

MsATL: a Tool for SAT-Based ATL Satisfiability Checking

Please log in to leave a comment

Downloads

SlidesTranscript English (automatic)

Next from AAMAS 2020

Mechanism Design for School Choice with Soft Diversity Constraints
technical paper

Mechanism Design for School Choice with Soft Diversity Constraints

AAMAS 2020

Haris AzizZhaohong Sun
Zhaohong Sun and 2 other authors

09 May 2020

Similar lecture

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