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
IPASIR-up: user propagators for CDCL - MaRDI portal

IPASIR-up: user propagators for CDCL

From MaRDI portal

Publication:6643080

Jump to:navigation, search

DOI10.4230/LIPICS.SAT.2023.8MaRDI QIDQ6643080

Aina Niemetz, Markus Kirchweger, Stefan Szeider, Katalin Fazekas, Mathias Preiner, Armin Biere

Publication date: 26 November 2024

zbMATH Keywords

SAT satisfiability modulo theories CDCL satisfiability modulo symmetries

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)

SAT modulo symmetries for graph generation and enumeration

This page was built for publication: IPASIR-up: user propagators for CDCL

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

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