Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets
Work
Year: 2018
Type: article
Abstract: In many different applications we are given a set of constraints with the goal to decide whether the set is satisfiable. If the set is determined to be unsatisfiable, one might be interested in analys... more
Source: EPiC series in computing
Authors Jaroslav Bendík, Ivana Černá
Institution Masaryk University
Cites: 32
Cited by: 7
Related to: 10
FWCI: 0.805
Citation percentile (by year/subfield): 73.74
Subfield: Computer Networks and Communications
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze