OptiLog: a framework for SAT-based systems
From MaRDI portal
Publication:2118280
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
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)
Uses Software
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)