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