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
Experimental and theoretical analysis of local search optimising OBDD variable orderings - MaRDI portal

Experimental and theoretical analysis of local search optimising OBDD variable orderings

From MaRDI portal

Publication:6635986

Jump to:navigation, search

DOI10.1007/978-3-031-57712-3_12MaRDI QIDQ6635986

Christine Zarges, Thomas Jansen

Publication date: 12 November 2024

zbMATH Keywords

local search run time analysis OBDD variable ordering

Mathematics Subject Classification ID

Evolutionary algorithms, genetic algorithms (computational aspects) (68W50) Approximation methods and heuristics in mathematical programming (90C59) Combinatorial optimization (90C27)

This page was built for publication: Experimental and theoretical analysis of local search optimising OBDD variable orderings

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