A Tableau Calculus for Non-clausal Maximum Satisfiability - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

A Tableau Calculus for Non-clausal Maximum Satisfiability

A Tableau Calculus for Non-clausal Maximum Satisfiability

Felip Manyà
  • Fonction : Auteur
Joan Ramon Soler
  • Fonction : Auteur

Dates et versions

hal-04321979 , version 1 (04-12-2023)

Identifiants

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⟩
7 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More