Buchumschlag

bv_decide SMT-COMP 2025 Submission

Fuente: Zenodo

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Böving, Henrik, Bhat, Siddharth, Keizer, Alex, Cicolini, Luisa, Frénot, Léon, Mohamed, Abdalrhman, Stefanesco, Léo, Khan, Harun, Clune, Joshua, Barrett, Clark, Grosser, Tobias
Format:	Recurso digital
Veröffentlicht:	Zenodo 2025
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Lean-SMT: An SMT tactic for discharging proof goals in Lean
von: Mohamed, Abdalrhman, et al.
Veröffentlicht: (2025)

Verifying Peephole Rewriting In SSA Compiler IRs
von: Bhat, Siddharth, et al.
Veröffentlicht: (2024)

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

Lean-auto: An Interface between Lean 4 and Automated Theorem Provers
von: Qian, Yicheng, et al.
Veröffentlicht: (2025)

Integer Reasoning Modulo Different Constants in SMT
von: Pertseva, Elizaveta, et al.
Veröffentlicht: (2025)

Constructive characterisations of the must-preorder for asynchrony
von: Bernardi, Giovanni, et al.
Veröffentlicht: (2025)

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
von: Chakraborty, Saikat, et al.
Veröffentlicht: (2024)

Towards SMT Solver Stability via Input Normalization
von: Amrollahi, Daneshvar, et al.
Veröffentlicht: (2024)

Relational Hoare Logic for Realistically Modelled Machine Code
von: Mazzucato, Denis, et al.
Veröffentlicht: (2025)

New South Wales January to June 2024
von: David Clune
Veröffentlicht: (2024)

New South Wales July to December 2023
von: David Clune
Veröffentlicht: (2024)

Kompetenzverschiebungen im Digitalisierungsprozess
von: Umbach, Susanne, et al.
Veröffentlicht: (2020)

ReSMT: An SMT-Based Tool for Reverse Engineering
von: Somech, Nir, et al.
Veröffentlicht: (2025)

Tertiary Students & Library Usage with Particular Emphasis on Public Libraries. A Report of a 1986 Melbourne Survey. Occasional Paper No. 3.
von: Grosser, Kerry
Veröffentlicht: (1987)

HintSMT
von: Anonymous Authors
Veröffentlicht: (2026)

Arguments for a ban on pediatric intersex surgery: A dis/analogy with Jehovah witness blood transfusion
von: Catherine Clune‐Taylor
Veröffentlicht: (2024)

Nonlinear composition operators in bv_p spaces: continuity and compactness
von: Bugajewska, Daria, et al.
Veröffentlicht: (2025)

System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers
von: Bartholomew, Michael, et al.
Veröffentlicht: (2025)

Cerebellar degeneration and its integrative role in brain networks for social cognition in early‐stage bvFTD
von: Yu Chen, et al.
Veröffentlicht: (2025)

The Shape of Thought
von: Clark Barrett, H.
Veröffentlicht: (2026)

CHC-COMP 2023: Competition Report
von: De Angelis, Emanuele, et al.
Veröffentlicht: (2024)

LLM2SMT: Building an SMT Solver with Zero Human-Written Code
von: Janota, Mikoláš, et al.
Veröffentlicht: (2026)

Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement
von: Timany, Amin, et al.
Veröffentlicht: (2021)

Dynamics of Long-Life Assets From Technology Adaptation to Upgrading the Business Model
von: Stefan N. Grösser

La juventud como mercancía y el lugar de lo adolescente en la lógica cultural del capitalismo tardío
von: Kattya Grosser Guillén
Veröffentlicht: (2006)

ANOREXIA: UN CONFLICTO ENTRE LA NIÑA Y LA ADOLESCENTE. LA ADOLESCENTE Y SU ESPEJO
von: Kattya Grosser Guillén
Veröffentlicht: (2010)

Adolescentes y adultos ¿Es posible una interacción sin juzgar ni castigar? ¿Qué hay detrás del llamado conflicto generacional?
von: Kattya Grosser Guillén
Veröffentlicht: (2003)

LA IMPORTANCIA DE INCLUIR LAS COMPETENCIAS INTERCULTURALES EN LAS RELACIONES CON POBLACIÓN REFUGIADA
von: Sebastián May Grosser
Veröffentlicht: (2015)

LA VISUALIZACIÓN MOTORA EN LA PSICOLOGÍA DEL DEPORTE EN COSTA RICA Y SU USO PARA MEJORAR EL APRENDIZAJE MOTOR EN DEPORTISTAS
von: Sebastián May Grosser
Veröffentlicht: (2012)

Rezago, sector forestal y trampas territoriales. La provincia de Arauco
von: Günter Grosser-Villar
Veröffentlicht: (2019)

Compressing Structured Tensor Algebra
von: Ghorbani, Mahdi, et al.
Veröffentlicht: (2024)

Strided Difference Bound Matrices
von: Pitchanathan, Arjun, et al.
Veröffentlicht: (2024)

Thought Cloning: Learning to Think while Acting by Imitating Human Thinking
von: Hu, Shengran, et al.
Veröffentlicht: (2023)

First-Explore, then Exploit: Meta-Learning to Solve Hard Exploration-Exploitation Trade-Offs
von: Norman, Ben, et al.
Veröffentlicht: (2023)

An excitation matched local correlation approach to excited state specific perturbation theory
von: Clune, Rachel, et al.
Veröffentlicht: (2025)

SMT-AD: a scalable quantum-inspired anomaly detection approach
von: Sornsaeng, Apimuk, et al.
Veröffentlicht: (2026)

Composition operators in $bv_p$-spaces, part I: acting conditions and boundedness
von: Bugajewska, Daria, et al.
Veröffentlicht: (2024)

White matter hyperintensities in AD and bvFTD patients from Underrepresented countries
von: Florencia Altschuler, et al.
Veröffentlicht: (2024)

Anonymous Submission
von: Anonymous
Veröffentlicht: (2026)

Anonymous Submission
von: Anonymous
Veröffentlicht: (2025)