Q4636600
type: Item
instance of: scholarly article
zbMATH Open document ID: 1391.68099
author: Jaroslav Bendík
author: Nikola Beneš
author: J. Barnat
author: I. Černá
publication date: 2018-04-19T00:00:00Z
full work available at URL: https://arxiv.org/abs/1606.03289
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 90C27
zbMATH DE Number: 6862078
zbMATH Keywords: minimal unsatisfiable subsets
zbMATH Keywords: maximal satisfiable subsets
zbMATH Keywords: unsatisfiability analysis
zbMATH Keywords: infeasibility analysis
MaRDI profile type: Publication
arXiv ID: 1606.03289
DOI: 10.4230/LIPICS.FSTTCS.2016.50
description: scientific article; zbMATH DE number 6862078