Minimal sets on propositional formulae. Problems and reductions

  1. Marques-Silva, J.
  2. Janota, M.
  3. Mencía, C.
Journal:
Artificial Intelligence

ISSN: 0004-3702

Year of publication: 2017

Volume: 252

Pages: 22-50

Type: Article

DOI: 10.1016/J.ARTINT.2017.07.005 GOOGLE SCHOLAR

Sustainable development goals

Data source: Scopus