OptiLog: a framework for SAT-based systems

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

Carlos Ansótegui, Josep M. Salvia, Eduard Torres, Jesús Ojeda, Josep Pon, A. 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

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Theory and Applications of Satisfiability Testing
• 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
• Fine-Tuning of Algorithms Using Fractional Experimental Designs and Local Search
• SAT heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers

Cited In (1)

• OptiLog

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)