Communication Dans Un Congrès
Année : 2019
chu-min Li : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04321979
Soumis le : lundi 4 décembre 2023-17:12:24
Dernière modification le : mardi 30 juillet 2024-12:40:03
Citer
Chu Min Li, Felip Manyà, Joan Ramon Soler. A Tableau Calculus for Non-clausal Maximum Satisfiability. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux 2019), 2019, Londre, United Kingdom. pp.58-73, ⟨10.1007/978-3-030-29026-9_4⟩. ⟨hal-04321979⟩
Collections
12
Consultations
0
Téléchargements