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

scientific article; zbMATH DE number 6747969

From MaRDI portal

Publication:5283031

Jump to:navigation, search

zbMath1366.68099MaRDI QIDQ5283031

Umut Oztok, Adnan Darwiche

Publication date: 18 July 2017

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

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

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Classical propositional logic (03B05)

Related Items (3)

On Compiling CNFs into Structured Deterministic DNNFs ⋮ On Compiling Structured CNFs to OBDDs ⋮ On compiling structured CNFs to OBDDs

This page was built for publication:

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