optsat: A Tool for Solving SAT Related Optimization Problems

DOI10.1007/11853886_43zbMATH Open1152.68553OpenAlexW2149112194MaRDI QIDQ3533153FDOQ3533153

Authors: Enrico Giunchiglia, Marco Maratea 

Publication date: 30 October 2008

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11853886_43

Recommendations

• Solving satisfiability problems with preferences
• Minimaxsat: an efficient weighted Max-SAT solver
• Optimal satisfiability for propositional calculi and constraint satisfaction problems.
• On SAT Modulo Theories and Optimization Problems
• scientific article; zbMATH DE number 1759450

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Polyhedral combinatorics, branch-and-bound, branch-and-cut (90C57)

Cited In (13)

• A framework for certified Boolean branch-and-bound optimization
• Model enumeration in propositional circumscription via unsatisfiable core analysis
• Solving satisfiability problems with preferences
• OptiLog: a framework for SAT-based systems
• Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates
• Title not available (Why is that?)
• Some computational aspects of DISTANCE SAT
• OptSAT
• A SAT approach to query optimization in mediator systems
• Iterative and core-guided maxsat solving: a survey and assessment
• Black-box optimization in an extended search space for SAT solving
• Algorithms for Solving Satisfiability Problems with Qualitative Preferences
• Efficient MUS enumeration of Horn formulae with applications to axiom pinpointing

This page was built for publication: optsat: A Tool for Solving SAT Related Optimization Problems

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