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 7204260 - MaRDI portal

scientific article; zbMATH DE number 7204260

From MaRDI portal

Publication:5111139

Jump to:navigation, search

DOI10.4230/LIPIcs.CCC.2017.9zbMath1437.68199MaRDI QIDQ5111139

Dominik Scheder, John P. Steinberger

Publication date: 26 May 2020

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

zbMATH Keywords

Boolean satisfiability randomized algorithms exponential algorithms

Mathematics Subject Classification ID

Analysis of algorithms (68W40) Randomized algorithms (68W20) Computational aspects of satisfiability (68R07)

Related Items (2)

Unnamed Item ⋮ An improvement of the algorithm of Hertli for the unique 3SAT problem

This page was built for publication:

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