Supercharging plant configurations using Z3

DOI10.1007/978-3-030-78230-6_1OpenAlexW3172278720MaRDI QIDQ2117195

Nuno P. Lopes, Chandrasekar Vuppalapati, Maxwell Levatich, Nikolaj Bjørner, Andrey Rybalchenko

Publication date: 21 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-78230-6_1

Mathematics Subject Classification ID

Combinatorial optimization (90C27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Uses Software

• MiniSat
• Reveal
• Yices
• AsmL
• MUSer2
• JViews
• COMiniSatPS
• GitHub
• Rosette
• Z3str3
• CaDiCaL
• Paracooba
• Kissat
• CVC4SY

Cites Work

• Edge routing with ordered bundles
• A theory of diagnosis from first principles
• Chronological backtracking
• Between SAT and UNSAT: The Fundamental Difference in CDCL SAT
• Variations on the Common Subexpression Problem
• GRASP: a search algorithm for propositional satisfiability
• Theory and Applications of Satisfiability Testing
• Reveal: A Formal Verification Tool for Verilog Designs
• On SAT Modulo Theories and Optimization Problems
• Unnamed Item
• Unnamed Item
• Unnamed Item