Conference Papers
Year : 2019
chu-min Li : Connect in order to contact the contributor
https://hal.science/hal-04321979
Submitted on : Monday, December 4, 2023-5:12:24 PM
Last modification on : Tuesday, July 30, 2024-12:40:03 PM
Cite
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
10
View
0
Download