scientific article
From MaRDI portal
Publication:3194802
zbMath1322.68178MaRDI QIDQ3194802
Anton Belov, João P. Marques-Silva
Publication date: 20 October 2015
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
On computing minimal independent support and its applications to sampling and counting, Fast, flexible MUS enumeration, Counting minimal unsatisfiable subsets, Speeding up MUS Extraction with Preprocessing and Chunking, Mining Backbone Literals in Incremental SAT, A New Approach to Partial MUS Enumeration, Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis, Optimal bounds for the no-show paradox via SAT solving, ASP and subset minimality: enumeration, cautious reasoning and MUSes, On getting rid of the preprocessing minimization step in MUC-finding algorithms, Unnamed Item, Definability for model counting, MUSer2, Accelerated Deletion-based Extraction of Minimal Unsatisfiable Cores, Supercharging plant configurations using Z3
Uses Software
