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; zbMATH DE number 6928625 - MaRDI portal

scientific article; zbMATH DE number 6928625

From MaRDI portal

Publication:4583960

Jump to:navigation, search

zbMath1394.68361MaRDI QIDQ4583960

Tobias Philipp

Publication date: 29 August 2018

Full work available at URL: http://ebooks.iospress.nl/volumearticle/37210

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

zbMATH Keywords

SAT inprocessing blocked clause elimination guiding paths

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Classical propositional logic (03B05)

This page was built for publication:

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