OptiLog: a framework for SAT-based systems

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

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

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) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computational aspects of satisfiability (68R07)

Related Items (1)

OptiLog

Uses Software

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

Cites Work

• 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
• 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
• Theory and Applications of Satisfiability Testing
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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