OptiLog: a framework for SAT-based systems (Q2118280)

From MaRDI portal
Revision as of 06:56, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
OptiLog: a framework for SAT-based systems
scientific article

    Statements

    title
    OptiLog: a framework for SAT-based systems (English)
    0 references
    author
    Carlos Ansótegui
    0 references
    Jesús Ojeda
    0 references
    António Pacheco
    0 references
    Josep Pon
    0 references
    Josep M. Salvia
    0 references
    Eduard Torres
    0 references
    publication date
    22 March 2022
    0 references
    Mathematics Subject Classification ID
    68Q25
    0 references
    68R07
    0 references
    68T20
    0 references
    zbMATH DE Number
    7495561
    0 references
    describes a project that uses
    SMAC
    0 references
    SCIP
    0 references
    Gurobi
    0 references
    Paramils
    0 references
    CPLEX
    0 references
    COIN-OR
    0 references
    MiniSat
    0 references
    Treengeling
    0 references
    OR-tools
    0 references
    PySAT
    0 references
    Kissat
    0 references
    Paracooba
    0 references
    PyPBLib
    0 references
    z3
    0 references
    Sat4j
    0 references
    GitHub
    0 references
    CNFgen
    0 references
    NumPy
    0 references
    Plingeling
    0 references
    PicoSAT
    0 references
    Scikit
    0 references
    PBLib
    0 references
    Python
    0 references
    Keras
    0 references
    PyTorch
    0 references
    Lingeling
    0 references
    CaDiCaL
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2118280&oldid=26724703"
    Powered by MediaWiki