VIDEO DOI: https://doi.org/10.48448/sf9b-gp87

technical paper

AIxIA 2021

December 01, 2021

Italy

A Combinatorial Approach to Weighted Model Counting in the Two Variable Fragment with Cardinality Constraints

Please log in to leave a comment

Downloads

Transcript English (automatic)

Next from AIxIA 2021

A Sound (but Incomplete) Polynomial Translation from Discretised PDDL+ to Numeric Planning
technical paper

A Sound (but Incomplete) Polynomial Translation from Discretised PDDL+ to Numeric Planning

AIxIA 2021

Francesco Percassi
Francesco Percassi and 2 other authors

01 December 2021

Similar lecture

AMR Parsing with Action-Pointer Transformer
technical paper

AMR Parsing with Action-Pointer Transformer

NAACL 2021

+1Radu FlorianJiawei Zhou
Jiawei Zhou and 3 other authors

07 June 2021

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