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
On CNF conversion for disjoint SAT enumeration - MaRDI portal

On CNF conversion for disjoint SAT enumeration

From MaRDI portal

Publication:6643091

Jump to:navigation, search

DOI10.4230/lipics.sat.2023.15MaRDI QIDQ6643091

Roberto Sebastiani, Giuseppe Spallitta, Gabriele Masina

Publication date: 26 November 2024

zbMATH Keywords

AllSAT AllSMT CNF conversion

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: On CNF conversion for disjoint SAT enumeration

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