OptiLog: a framework for SAT-based systems

DOI10.1007/978-3-030-80223-3_1OpenAlexW3186496558MaRDI QIDQ2118280FDOQ2118280

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

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

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)

Cites Work

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

Cited In (2)

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

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)