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
Solving #SAT Using Extension Rules - MaRDI portal

Solving #SAT Using Extension Rules

From MaRDI portal

Publication:3054232

Jump to:navigation, search

DOI10.3724/SP.J.1001.2009.03320zbMath1212.68313MaRDI QIDQ3054232

Minghao Yin, Jigui Sun, Hai Lin

Publication date: 5 November 2010

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

zbMATH Keywords

knowledge compilation extension rule weighted model counting

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items (2)

Approximate Model Counting via Extension Rule ⋮ Two approximate algorithms for model counting

This page was built for publication: Solving #SAT Using Extension Rules

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