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
Limits of CDCL learning via merge resolution - MaRDI portal

Limits of CDCL learning via merge resolution

From MaRDI portal

Publication:6643112

Jump to:navigation, search

DOI10.4230/lipics.sat.2023.27MaRDI QIDQ6643112

Antonina Kolokolova, Vijay Ganesh, Chun-Xiao Li, Noah Fleming, Marc Vinyals

Publication date: 26 November 2024

zbMATH Keywords

resolution proof complexity CDCL learning scheme merge resolution

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computational aspects of satisfiability (68R07)

This page was built for publication: Limits of CDCL learning via merge resolution

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