Cover Image

bv_decide SMT-COMP 2025 Submission

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Authors:	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
Published:	Zenodo 2025
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

_version_	1866902148698079232
author	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
author_facet	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
contents	<p>bv_decide solver submission for SMT-COMP 2025.</p>
format	Recurso digital
id	zenodo_https___doi_org_10_5281_zenodo_15766491
institution	Zenodo
language
publishDate	2025
publisher	Zenodo
record_format	zenodo
spellingShingle	bv_decide SMT-COMP 2025 Submission 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 <p>bv_decide solver submission for SMT-COMP 2025.</p>
title	bv_decide SMT-COMP 2025 Submission
url	https://doi.org/10.5281/zenodo.15766491