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
An improved exact algorithm for the exact satisfiability problem - MaRDI portal

An improved exact algorithm for the exact satisfiability problem

From MaRDI portal

Publication:2692222

Jump to:navigation, search

DOI10.1007/978-3-030-64843-5_21OpenAlexW3116874297MaRDI QIDQ2692222

Publication date: 21 March 2023

Full work available at URL: https://arxiv.org/abs/2010.03850

zbMATH Keywords

exponential time algorithms measure and conquer XSAT

Mathematics Subject Classification ID

Combinatorial optimization (90C27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (1)

Improved algorithms for the general exact satisfiability problem

This page was built for publication: An improved exact algorithm for the exact satisfiability problem

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