Buchumschlag

Certified Knowledge Compilation with Application to Formally Verified Model Counting

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bryant, Randal E., Nawrocki, Wojciech, Avigad, Jeremy, Heule, Marijn J. H.
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science F.m
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Implications of computer science theory for the simulation hypothesis
von: Wolpert, David H.
Veröffentlicht: (2024)

Taking Complete Finite Prefixes To High Level, Symbolically
von: Würdemann, Nick, et al.
Veröffentlicht: (2023)

Cogent argument extensions are weakly admissible but not vice versa
von: Bodanza, Gustavo
Veröffentlicht: (2025)

An Algorithm for Reversible Logic Circuit Synthesis Based on Tensor Decomposition
von: Lee, Hochang, et al.
Veröffentlicht: (2021)

Mind & Motion: Opportunities and Applications of Integrating Biomechanics and Cognitive Models in HCI
von: Fleig, Arthur, et al.
Veröffentlicht: (2025)

Drawing Planar Graphs and 1-Planar Graphs Using Cubic Bézier Curves with Bounded Curvature
von: Eppstein, David, et al.
Veröffentlicht: (2024)

Graded Differential Categories and Graded Differential Linear Logic
von: Lemay, Jean-Simon Pacaud, et al.
Veröffentlicht: (2023)

What Makes a Model Breathe? Understanding Reinforcement Learning Reward Function Design in Biomechanical User Simulation
von: Selder, Hannah, et al.
Veröffentlicht: (2025)

Computationally efficient orthogonalization for pairwise comparisons method
von: Benitez, Julio, et al.
Veröffentlicht: (2024)

Visual Bias in Simulated Users: The Impact of Luminance and Contrast on Reinforcement Learning-based Interaction
von: Selder, Hannah, et al.
Veröffentlicht: (2026)

A Retrospective on Ultrasound Mid-Air Haptics in HCI
von: Fleig, Arthur
Veröffentlicht: (2025)

Demystifying Reward Design in Reinforcement Learning for Upper Extremity Interaction: Practical Guidelines for Biomechanical Simulations in HCI
von: Selder, Hannah, et al.
Veröffentlicht: (2025)

Egalitarian Price of Fairness for Indivisible Goods
von: Celine, Karen Frilya, et al.
Veröffentlicht: (2024)

Eigenvalue Bounds for Symmetric Markov Chains on Multislices With Applications
von: Amireddy, Prashanth, et al.
Veröffentlicht: (2025)

Varieties of quantitative algebras as categories
von: Adamek, Jiri
Veröffentlicht: (2024)

Typed Topological Structures Of Datasets
von: Hu, Wanjun
Veröffentlicht: (2025)

A Mechanism for Optimizing Media Recommender Systems
von: McFadden, Brian
Veröffentlicht: (2024)

On finite-energy solutions of Kazan-Warner equations on the lattice graph
von: Chen, Huyuan, et al.
Veröffentlicht: (2025)

Formal Verification of the Empty Hexagon Number
von: Subercaseaux, Bernardo, et al.
Veröffentlicht: (2024)

Prism-based compensation of group delay dispersion in the components of a femtosecond laser resonator and analysis of the influence of prism configuration on laser radiation parameters
von: Beznosenko, I. V., et al.
Veröffentlicht: (2025)

Geometry of Arrangements that Determine Shapes
von: Haridis, Alexandros
Veröffentlicht: (2020)

Numerical Considerations in Weighted Model Counting
von: Bryant, Randal E.
Veröffentlicht: (2025)

Griesbachian and Dienerian (Early Triassic) ammonoid faunas from northwestern Guangxi and southern Guizhou (South China)
von: Thomas Brühwiler
Veröffentlicht: (2008)

On solution of Diffusion Equation using Conformable Laplace Transform
von: Sarate, Somnath, et al.
Veröffentlicht: (2026)

Canonical for Automated Theorem Proving in Lean
von: Norman, Chase, et al.
Veröffentlicht: (2025)

Implementing Dependent Type Theory Inhabitation and Unification
von: Norman, Chase, et al.
Veröffentlicht: (2026)

Happy Ending: An Empty Hexagon in Every Set of 30 Points
von: Heule, Marijn J. H., et al.
Veröffentlicht: (2024)

Tao's Equational Proof Challenge Accepted (Technical Report)
von: Kondylidou, Lydia, et al.
Veröffentlicht: (2026)

Automated Reencoding Meets Graph Theory
von: Przybocki, Benjamin, et al.
Veröffentlicht: (2026)

Deontic Temporal Logic for Formal Verification of AI Ethics
von: V., Priya T., et al.
Veröffentlicht: (2025)

A Proof-Producing Compiler for Blockchain Applications
von: Avigad, Jeremy, et al.
Veröffentlicht: (2025)

Formally Certified Approximate Model Counting
von: Tan, Yong Kiam, et al.
Veröffentlicht: (2024)

Orbitopal Fixing in SAT
von: Anders, Markus, et al.
Veröffentlicht: (2026)

Minimal Model Counting via Knowledge Compilation
von: Kabir, Mohimenul
Veröffentlicht: (2024)

Pragmatics of Formally Verified Yet Efficient Static Analysis, in particular for Formally Verified Compilers
von: Monniaux, David
Veröffentlicht: (2024)

Respuesta fisiológica de especies arbóreas al anegamiento. Nuevo conocimiento sobre especies de interés en el arbolado urbano de Bogotá
von: Darwin Moreno Echeverry
Veröffentlicht: (2019)

Hint-Based SMT Proof Reconstruction
von: Clune, Joshua, et al.
Veröffentlicht: (2026)

Interactive Formal Specification for Mathematical Problems of Engineers
von: Neuper, Walther
Veröffentlicht: (2024)

Domains, Information Frames, Rough Sets: An Equivalence of Categories
von: Spreen, Dieter
Veröffentlicht: (2025)

Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol
von: Praveen, M., et al.
Veröffentlicht: (2024)