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
The proof complexity of SMT solvers - MaRDI portal

The proof complexity of SMT solvers

From MaRDI portal

Publication:6039408

Jump to:navigation, search

DOI10.1007/978-3-319-96142-2_18zbMath1511.68259MaRDI QIDQ6039408

Antonina Kolokolova, Robert Robere, Vijay Ganesh

Publication date: 5 May 2023

Published in: Computer Aided Verification (Search for Journal in Brave)

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Complexity of proofs (03F20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: The proof complexity of SMT solvers

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