Warning: Undefined array key "clientWidth" in /var/www/html/w/includes/Media/SvgHandler.php on line 447

Warning: Undefined array key "clientHeight" in /var/www/html/w/includes/Media/SvgHandler.php on line 448

Deprecated: round(): Passing null to parameter #1 ($num) of type int|float is deprecated in /var/www/html/w/includes/Media/ThumbnailImage.php on line 68

Deprecated: round(): Passing null to parameter #1 ($num) of type int|float is deprecated in /var/www/html/w/includes/Media/ThumbnailImage.php on line 69

Warning: Undefined array key "clientWidth" in /var/www/html/w/includes/Media/SvgHandler.php on line 447

Warning: Undefined array key "clientHeight" in /var/www/html/w/includes/Media/SvgHandler.php on line 448

Deprecated: round(): Passing null to parameter #1 ($num) of type int|float is deprecated in /var/www/html/w/includes/Media/ThumbnailImage.php on line 68

Deprecated: round(): Passing null to parameter #1 ($num) of type int|float is deprecated in /var/www/html/w/includes/Media/ThumbnailImage.php on line 69

Warning: Undefined array key "clientWidth" in /var/www/html/w/includes/Media/SvgHandler.php on line 447

Warning: Undefined array key "clientHeight" in /var/www/html/w/includes/Media/SvgHandler.php on line 448

Deprecated: round(): Passing null to parameter #1 ($num) of type int|float is deprecated in /var/www/html/w/includes/Media/ThumbnailImage.php on line 68

Deprecated: round(): Passing null to parameter #1 ($num) of type int|float is deprecated in /var/www/html/w/includes/Media/ThumbnailImage.php on line 69
OptiLog: a framework for SAT-based systems - MaRDI portal

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

From MaRDI portal





scientific article; zbMATH DE number 7495561
Language Label Description Also known as
English
OptiLog: a framework for SAT-based systems
scientific article; zbMATH DE number 7495561

    Statements

    title
    OptiLog: a framework for SAT-based systems (English)
    0 references
    author
    Carlos Ansótegui
    0 references
    Jesús Ojeda
    0 references
    A. Pacheco
    0 references
    Josep Pon
    0 references
    Josep M. Salvia
    0 references
    Eduard Torres
    0 references
    publication date
    22 March 2022
    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
    CNFgen
    0 references
    NumPy
    0 references
    Plingeling
    0 references
    PicoSAT
    0 references
    Scikit
    0 references
    PBLib
    0 references
    Keras
    0 references
    PyTorch
    0 references
    Lingeling
    0 references
    CaDiCaL
    0 references
    GitHub
    0 references
    Python
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q25
    0 references
    68R07
    0 references
    68T20
    0 references
    zbMATH DE Number
    7495561
    0 references
    OpenAlex ID
    W3186496558
    0 references
     
    Retrieved from "https://mardi.schubotz.org/w/index.php?title=Item:Q2118280&oldid=44792027"
    Powered by MediaWiki