Supercharging plant configurations using Z3
type: Item
instance of: scholarly article
title: Supercharging plant configurations using Z3
DOI: 10.1007/978-3-030-78230-6_1
author: Nikolaj Bjørner
author: Maxwell Levatich
author: Nuno P. Lopes
author: Andrey Rybalchenko
author: Chandrasekar Vuppalapati
publication date: 2022-03-21T00:00:00Z
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 90C27
zbMATH DE Number: 7493618
describes a project that uses: Kissat
describes a project that uses: Paracooba
describes a project that uses: JViews
describes a project that uses: Z3str3
describes a project that uses: Reveal
describes a project that uses: Yices
describes a project that uses: AsmL
describes a project that uses: MUSer2
describes a project that uses: CaDiCaL
describes a project that uses: CVC4SY
describes a project that uses: COMiniSatPS
describes a project that uses: MiniSat
describes a project that uses: Rosette
describes a project that uses: GitHub
MaRDI profile type: Publication
full work available at URL: 978-3-030-78230-6 1
OpenAlex ID: W3172278720
cites work: Reveal: A Formal Verification Tool for Verilog Designs
cites work: Q3194802
cites work: Variations on the Common Subexpression Problem
cites work: Theory and Applications of Satisfiability Testing
cites work: Chronological backtracking
cites work: On SAT Modulo Theories and Optimization Problems
cites work: Between SAT and UNSAT: The Fundamental Difference in CDCL SAT
cites work: Edge routing with ordered bundles
cites work: A theory of diagnosis from first principles
cites work: Q3043750
cites work: GRASP: a search algorithm for propositional satisfiability
cites work: Q3528927
description: scientific article; zbMATH DE number 7493618