Image de couverture de livre

Lagrangian-Based Duality for Quantified SMT Algorithms - Artifact

Fuente: Zenodo

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Bocevska, Ivana, Tsukada, Takeshi, Unno, Hiroshi, Padon, Oded, Shoham, Sharon
Format:	Recurso digital
Publié:	Zenodo 2026
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

_version_	1866902105951830016
author	Bocevska, Ivana Tsukada, Takeshi Unno, Hiroshi Padon, Oded Shoham, Sharon
author_facet	Bocevska, Ivana Tsukada, Takeshi Unno, Hiroshi Padon, Oded Shoham, Sharon
contents
format	Recurso digital
id	zenodo_https___doi_org_10_5281_zenodo_19860162
institution	Zenodo
language
publishDate	2026
publisher	Zenodo
record_format	zenodo
spellingShingle	Lagrangian-Based Duality for Quantified SMT Algorithms - Artifact Bocevska, Ivana Tsukada, Takeshi Unno, Hiroshi Padon, Oded Shoham, Sharon
title	Lagrangian-Based Duality for Quantified SMT Algorithms - Artifact
url	https://doi.org/10.5281/zenodo.19860162