Formula Preprocessing in MUS Extraction
From MaRDI portal
Publication:5326319
DOI10.1007/978-3-642-36742-7_8zbMath1381.68146OpenAlexW67012756MaRDI QIDQ5326319
Anton Belov, Matti Järvisalo, João P. Marques-Silva
Publication date: 5 August 2013
Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-36742-7_8
Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items
Speeding up MUS Extraction with Preprocessing and Chunking, On getting rid of the preprocessing minimization step in MUC-finding algorithms, Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases, Cost-optimal constrained correlation clustering via weighted partial maximum satisfiability, LMHS: A SAT-IP Hybrid MaxSAT Solver