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

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

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

• Fine-Tuning of Algorithms Using Fractional Experimental Designs and Local Search
• 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?)
• Paramils: an automatic algorithm configuration framework
• PBLib -- a library for encoding pseudo-Boolean constraints into CNF
• 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

(3)

• PySAT: a Python toolkit for prototyping with SAT oracles
• OptiLog
• Towards universally accessible SAT technology

Describes a project that uses

Uses Software

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

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)