Maximal falsifiability. Definitions, algorithms, and applications

DOI10.1007/978-3-642-45221-5_30zbMATH Open1407.68453OpenAlexW2402431820MaRDI QIDQ2870146FDOQ2870146

Authors: A. A. Ignatiev, Antonio Morgado, Jordi Planes, Joao Marques-Silva 

Publication date: 17 January 2014

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-45221-5_30

Recommendations

• Maximal falsifiability. Definitions, algorithms and applications
• Minimal sets on propositional formulae. Problems and reductions
• Resolution for Max-SAT
• Minimaxsat: an efficient weighted Max-SAT solver
• Optimizing with minimum satisfiability

Mathematics Subject Classification ID

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

Cited In (7)

• Functional synthesis via input-output separation
• Quantified maximum satisfiability
• Minimal sets on propositional formulae. Problems and reductions
• Maximal falsifiability. Definitions, algorithms and applications
• Maximum satisfiability in software analysis: applications and techniques
• DRMaxSAT with MaxHS: first contact
• Mining top-\(k\) motifs with a SAT-based framework

This page was built for publication: Maximal falsifiability. Definitions, algorithms, and applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2870146)