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
Testing satisfiability - MaRDI portal

Testing satisfiability

From MaRDI portal

Publication:4420420

Jump to:navigation, search

DOI10.1016/S0196-6774(03)00019-1zbMath1045.68100MaRDI QIDQ4420420

Asaf Shapira, Noga Alon

Publication date: 17 August 2003

Published in: Journal of Algorithms (Search for Journal in Brave)

zbMATH Keywords

Satisfiability Property testing Hypergraph coloring

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05) Graph theory (including graph drawing) in computer science (68R10)

Related Items (6)

Testing list \(H\)-homomorphisms ⋮ Finding cycles and trees in sublinear time ⋮ Distribution-free connectivity testing for sparse graphs ⋮ Testing permutation properties through subpermutations ⋮ Testing hypergraph colorability ⋮ Testing subgraphs in directed graphs

This page was built for publication: Testing satisfiability

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