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
Cadiback: Extracting backbones with CaDiCaL - MaRDI portal

Cadiback: Extracting backbones with CaDiCaL

From MaRDI portal

Publication:6643075

Jump to:navigation, search

DOI10.4230/lipics.sat.2023.3MaRDI QIDQ6643075

Wenxi Wang, Armin Biere, Nils Froleyks

Publication date: 26 November 2024

zbMATH Keywords

backbone satisfiability incremental solving

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: Cadiback: Extracting backbones with CaDiCaL

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