Copertina

PolySAT: Word-level Bit-vector Reasoning in Z3

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Rath, Jakob, Eisenhofer, Clemens, Kaufmann, Daniela, Bjørner, Nikolaj, Kovács, Laura
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

On Solving String Equations via Powers and Parikh Images
di: Eisenhofer, Clemens, et al.
Pubblicazione: (2026)

SAT-Based Subsumption Resolution
di: Coutelier, Robin, et al.
Pubblicazione: (2024)

Spanning Matrices via Satisfiability Solving
di: Eisenhofer, Clemens, et al.
Pubblicazione: (2024)

Finding Connections via Satisfiability Solving
di: Eisenhofer, Clemens, et al.
Pubblicazione: (2026)

Constraint Learning for Non-confluent Proof Search
di: Rawson, Michael, et al.
Pubblicazione: (2026)

SAT Solving for Variants of First-Order Subsumption
di: Coutelier, Robin, et al.
Pubblicazione: (2024)

Synthesiz3 This: an SMT-Based Approach for Synthesis with Uncomputable Symbols
di: Hozzová, Petra, et al.
Pubblicazione: (2025)

Life span of SAT techniques
di: Fleury, Mathias, et al.
Pubblicazione: (2024)

Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling
di: Huang, Ruanqianqian, et al.
Pubblicazione: (2025)

MCSat-based Finite Field Reasoning in the Yices2 SMT Solver
di: Hader, Thomas, et al.
Pubblicazione: (2024)

Rewriting and Inductive Reasoning
di: Hajdu, Márton, et al.
Pubblicazione: (2024)

RustSAT: A Library For SAT Solving in Rust
di: Jabs, Christoph
Pubblicazione: (2025)

Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs
di: Kaufmann, Daniela, et al.
Pubblicazione: (2024)

Positive Almost-Sure Termination of Polynomial Random Walks
di: Winkler, Lorenz, et al.
Pubblicazione: (2025)

Synthesis Benchmarks for Automated Reasoning
di: Hajdu, Márton, et al.
Pubblicazione: (2025)

Logic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving
di: Shi, Zhengyuan, et al.
Pubblicazione: (2024)

The Vampire Diary
di: Bártek, Filip, et al.
Pubblicazione: (2025)

Between proof construction and SAT-solving
di: Schubert, Aleksy, et al.
Pubblicazione: (2024)

SAT-Inspired Higher-Order Eliminations
di: Blanchette, Jasmin, et al.
Pubblicazione: (2022)

CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model
di: Jeanteur, Simon, et al.
Pubblicazione: (2023)

Lazy Reimplication in Chronological Backtracking
di: Coutelier, Robin, et al.
Pubblicazione: (2025)

Partial Redundancy in Saturation
di: Hajdu, Márton, et al.
Pubblicazione: (2025)

SAT-based Learning of Computation Tree Logic
di: Pommellet, Adrien, et al.
Pubblicazione: (2024)

Rethinking Clause Management for CDCL SAT Solvers
di: Cai, Yalun, et al.
Pubblicazione: (2026)

Compact SAT Encoding for Power Peak Minimization
di: Van Kieu, Tuyen, et al.
Pubblicazione: (2025)

Empirical Impact of Dimensionality on Random Geometric SAT
di: Rädiker, Flora
Pubblicazione: (2026)

Structure-Aware Computing, Partial Quantifier Elimination And SAT
di: Goldberg, Eugene
Pubblicazione: (2024)

DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories
di: Feng, Nick, et al.
Pubblicazione: (2024)

SAT-Based Techniques for Lexicographically Smallest Finite Models
di: Janota, Mikoláš, et al.
Pubblicazione: (2025)

parSAT: Parallel Solving of Floating-Point Satisfiability
di: Krahl, Markus, et al.
Pubblicazione: (2025)

Approaching the Conway-99 problem using SAT solvers
di: Keramatipour, Ali
Pubblicazione: (2026)

Certificate-Aware Property-Directed Reachability
di: Ferdowsi, Arman, et al.
Pubblicazione: (2026)

A Neurosymbolic Approach to Loop Invariant Generation via Weakest Precondition Reasoning
di: King, Daragh, et al.
Pubblicazione: (2025)

Program Synthesis in Saturation
di: Hozzová, Petra, et al.
Pubblicazione: (2024)

Disjoint Projected Enumeration for SAT and SMT without Blocking Clauses
di: Spallitta, Giuseppe, et al.
Pubblicazione: (2024)

Term Ordering Diagrams
di: Hajdu, Márton, et al.
Pubblicazione: (2025)

Certified Branch-and-Bound MaxSAT Solving (Extended Version)
di: Vandesande, Dieter, et al.
Pubblicazione: (2025)

SAT Encodings for Bandwidth Coloring: A Systematic Design Study
di: Nguyen, Duc Trung Kim, et al.
Pubblicazione: (2026)

Solving SAT By Computing A Stable Set Of Points In Clusters
di: Goldberg, Eugene
Pubblicazione: (2025)

Efficient Incremental #SAT via Cross-Instance Knowledge Reuse
di: Bartal, Uriya, et al.
Pubblicazione: (2026)