Clause tableaux for maximum and minimum satisfiability

  1. Argelich, J.
  2. Li, C.M.
  3. Manyà, F.
  4. Soler, J.R.
Revista:
Logic Journal of the IGPL

ISSN: 1368-9894,  1367-0751

Año de publicación: 2021

Volumen: 29

Número: 1

Páginas: 7-27

Tipo: Artículo

DOI: 10.1093/JIGPAL/JZZ025 GOOGLE SCHOLAR

Objetivos de desarrollo sostenible

Fuente de los datos: Scopus