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
Symbolic Execution + Model Counting + Entropy Maximization = Automatic Search Synthesis - MaRDI portal

Symbolic Execution + Model Counting + Entropy Maximization = Automatic Search Synthesis

From MaRDI portal

Publication:6349671

Jump to:navigation, search

arXiv2009.10877MaRDI QIDQ6349671

Abtin Molavi, Mara Downing, Lucas Bang

Publication date: 22 September 2020

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

This page was built for publication: Symbolic Execution + Model Counting + Entropy Maximization = Automatic Search Synthesis

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