OptiLog: a framework for SAT-based systems

DOI10.1007/978-3-030-80223-3_1MaRDI QIDQ2118280zbMATH OpenOpenAlexFDO

Authors Carlos Ansótegui, Jesús Ojeda, A. Pacheco, Josep Pon, Josep M. Salvia, Eduard Torres

Publication date 22 March 2022

Full work available at URL https://doi.org/10.1007/978-3-030-80223-3_1

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Analysis of algorithms and problem complexity (68Q25) Computational aspects of satisfiability (68R07)

Recommendations

• PySAT: a Python toolkit for prototyping with SAT oracles
• \textsc{OptiMathSAT}: a tool for optimization modulo theories
• Theory and Applications of Satisfiability Testing
• optsat: A Tool for Solving SAT Related Optimization Problems
• A pearl on SAT and SMT solving in Prolog

Cites work

• scientific article; zbMATH DE number 5829047 (Why is no real title available?)
• scientific article; zbMATH DE number 5139161 (Why is no real title available?)
• scientific article; zbMATH DE number 5510691 (Why is no real title available?)
• Fine-Tuning of Algorithms Using Fractional Experimental Designs and Local Search
• PBLib -- a library for encoding pseudo-Boolean constraints into CNF
• Paramils: an automatic algorithm configuration framework
• PySAT: a Python toolkit for prototyping with SAT oracles
• SAT heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
• Scikit-learn: machine learning in Python
• Theory and Applications of Satisfiability Testing

Cited in

(2)

• OptiLog
• PySAT: a Python toolkit for prototyping with SAT oracles

Describes a project that uses

Uses Software

• MiniSat
• Paramils
• SCIP
• CPLEX
• Gurobi
• COIN-OR
• z3
• NumPy
• Plingeling
• PicoSAT
• Sat4j
• Scikit
• Treengeling
• PBLib
• OR-tools
• Keras
• Python
• PyTorch
• CNFgen
• PySAT
• SMAC
• Lingeling
• CaDiCaL
• GitHub
• Paracooba
• Kissat
• PyPBLib

This page was built for publication: OptiLog: a framework for SAT-based systems

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