scientific article; zbMATH DE number 6862078

DOI10.4230/LIPIcs.FSTTCS.2016.50zbMath1391.68099arXiv1606.03289MaRDI QIDQ4636600

Nikola Beneš, Jiří Barnat, Jaroslav Bendík, Ivana Černá

Publication date: 19 April 2018

Full work available at URL: https://arxiv.org/abs/1606.03289

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

infeasibility analysisminimal unsatisfiable subsetsmaximal satisfiable subsetsunsatisfiability analysis

Mathematics Subject Classification ID

Combinatorial optimization (90C27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items

Counting minimal unsatisfiable subsets, Unnamed Item, Timed automata relaxation for reachability