2016/10/26 by Oliver Kullmann, Kullmann, Oliver
Computer Science · Decision Sciences · Mathematics · #03B05 #05D99 (Secondary) #68R99 (Primary) #Advanced Algebra and Logic #Combinatorics (math.CO) #Discrete Mathematics (cs.DM) #F.2.2 #FOS: Computer and information sciences #FOS: Mathematics #G.2.2 #Multi-Criteria Decision Making #acm:03B05 #acm:05D99 #acm:68R99 #cs.DM #math.CO #msc:03B05 #msc:05D99 #msc:68R99 #semigroups and automata theory
paper · pdf · doi:10.48550/arxiv.1610.08575
4 pages; extended abstract for the talk given at International Workshop on Graph Structure and Satisfiability Testing 2016 https://www.ac.tuwien.ac.at/structsat2016/
arxiv created 2016/10/26 · openalex publication_date 2016/10/26 · arxiv updated 2016/10/28 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Starting with Aharoni and Linial in 1986, the deficiency delta(F) = c(F) - n(F) >= 1 for minimally unsatisfiable clause-sets F, the difference of the number of clauses and the number of variables, is playing an important role in investigations into the structure of minimal unsatisfiability. The talk belonging to this extended abstract, available at http://cs.swan.ac.uk/~csoliver/papers.html#BORDEAUX2016 , gives a high-level overview on recent developments.