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
Learning shorter redundant clauses in SDCL using MaxSAT - MaRDI portal

Learning shorter redundant clauses in SDCL using MaxSAT

From MaRDI portal

Publication:6643095

Jump to:navigation, search

DOI10.4230/lipics.sat.2023.18MaRDI QIDQ6643095

Jonathan Chung, Chun-Xiao Li, Darryl Wu, Albert Oliveras, Vijay Ganesh

Publication date: 26 November 2024

zbMATH Keywords

SAT MaxSAT SDCL

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: Learning shorter redundant clauses in SDCL using MaxSAT

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