Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Interpolation-based semantic gate extraction and its applications to QBF preprocessing - MaRDI portal

Interpolation-based semantic gate extraction and its applications to QBF preprocessing

From MaRDI portal

Publication:2225124

Jump to:navigation, search

DOI10.1007/978-3-030-53288-8_24zbMath1478.68202OpenAlexW3042349892MaRDI QIDQ2225124

Friedrich Slivovsky

Publication date: 4 February 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-53288-8_24

Mathematics Subject Classification ID

Pattern recognition, speech recognition (68T10) Logic in computer science (03B70) Interpolation, preservation, definability (03C40) Switching theory, applications of Boolean algebras to circuits and networks (94C11) Computational aspects of satisfiability (68R07)

Related Items (3)

Mining definitions in Kissat with Kittens ⋮ Certified DQBF solving by definition extraction ⋮ DQBDD: an efficient BDD-based DQBF solver

This page was built for publication: Interpolation-based semantic gate extraction and its applications to QBF preprocessing

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2225124&oldid=14763257"