Artículos con órdenes de acceso público - Juraj SíčMás información
Disponible en algún lugar: 1
Solving dependency quantified Boolean formulas using quantifier localization
A Ge-Ernst, C Scholl, J Síč, R Wimmer
Theoretical Computer Science 925, 1-24, 2022
Órdenes: German Research Foundation
La información de publicación y financiación se determina de forma automática mediante un programa informático