Felip Manyà
Felip Manyà
Affiliation: Artificial Intelligence Research Institute (IIIA), Spanish National Research Council (CSIC), Barcelona, Spain
Affiliation: Artificial Intelligence Research Institute
Pages in this Program
Solving MaxSAT Problems from Natural Language Descriptions with LLMs and PySAT
Satisfiability for Probability Modalities
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑