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
scientific article - MaRDI portal

scientific article

From MaRDI portal

Publication:3580786

Jump to:navigation, search

zbMath1212.68079MaRDI QIDQ3580786

Gergely Kovásznai, Gábor Kusper, Lajos Csőke

Publication date: 13 August 2010

Full work available at URL: https://eudml.org/doc/225391

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

SAT blocked clause nondecisive clause

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (1)

The analysis of expected fitness and success ratio of two heuristic optimizations on two bimodal MaxSat problems

This page was built for publication:

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