Franz-Xaver Reichl | AC Group | TU Wienhttps://ac.tuwien.ac.at/team/franz-xaver-reichl/Franz-Xaver ReichlHugo Blox Builder (https://hugoblox.com)en-usMon, 01 Jan 2024 00:00:00 +0000https://ac.tuwien.ac.at/media/logo_hu10234977157890132473.pngFranz-Xaver Reichlhttps://ac.tuwien.ac.at/team/franz-xaver-reichl/eSLIM: Circuit Minimization with SAT Based Local Improvementhttps://ac.tuwien.ac.at/publication/eslim-circuit-minimization-with-sat-based-local-improvement/Mon, 01 Jan 2024 00:00:00 +0000https://ac.tuwien.ac.at/publication/eslim-circuit-minimization-with-sat-based-local-improvement/Improved Circuit Minimization with Exact Synthesishttps://ac.tuwien.ac.at/publication/improved-circuit-minimization-with-exact-synthesis/Mon, 01 Jan 2024 00:00:00 +0000https://ac.tuwien.ac.at/publication/improved-circuit-minimization-with-exact-synthesis/Circuit Minimization with Exact Synthesis: From QBF Back to SAThttps://ac.tuwien.ac.at/publication/circuit-minimization-with-exact-synthesis-from-qbf-back-to-sat/Sun, 01 Jan 2023 00:00:00 +0000https://ac.tuwien.ac.at/publication/circuit-minimization-with-exact-synthesis-from-qbf-back-to-sat/Circuit Minimization with QBF-Based Exact Synthesishttps://ac.tuwien.ac.at/publication/circuit-minimization-with-qbf-based-exact-synthesis/Sun, 01 Jan 2023 00:00:00 +0000https://ac.tuwien.ac.at/publication/circuit-minimization-with-qbf-based-exact-synthesis/Pedant: A Certifying DQBF Solverhttps://ac.tuwien.ac.at/publication/pedant-a-certifying-dqbf-solver/Sat, 01 Jan 2022 00:00:00 +0000https://ac.tuwien.ac.at/publication/pedant-a-certifying-dqbf-solver/Certified DQBF Solving by Definition Extractionhttps://ac.tuwien.ac.at/publication/certified-dqbf-solving-by-definition-extraction-2/Fri, 01 Jan 2021 00:00:00 +0000https://ac.tuwien.ac.at/publication/certified-dqbf-solving-by-definition-extraction-2/Certified DQBF Solving by Definition Extractionhttps://ac.tuwien.ac.at/publication/certified-dqbf-solving-by-definition-extraction/Fri, 01 Jan 2021 00:00:00 +0000https://ac.tuwien.ac.at/publication/certified-dqbf-solving-by-definition-extraction/First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT Solvinghttps://ac.tuwien.ac.at/publication/first-order-logic-in-finite-domains-where-semantic-evaluation-competes-with-smt-solving/Fri, 01 Jan 2021 00:00:00 +0000https://ac.tuwien.ac.at/publication/first-order-logic-in-finite-domains-where-semantic-evaluation-competes-with-smt-solving/