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
Certified knowledge compilation with application to verified model counting - MaRDI portal

Certified knowledge compilation with application to verified model counting

From MaRDI portal

Publication:6643078

Jump to:navigation, search

DOI10.4230/lipics.sat.2023.6MaRDI QIDQ6643078

Randal E. Bryant, Wojciech Nawrocki, Marijn Heule, Jeremy Avigad

Publication date: 26 November 2024

zbMATH Keywords

proof checking propositional model counting

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)

Related Items (1)

IASCAR: incremental answer set counting by anytime refinement

This page was built for publication: Certified knowledge compilation with application to verified model counting

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6643078)

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