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
Using Model Counting to Find Optimal Distinguishing Tests - MaRDI portal

Using Model Counting to Find Optimal Distinguishing Tests

From MaRDI portal

Publication:3630156

Jump to:navigation, search

DOI10.1007/978-3-642-01929-6_10zbMath1241.90040OpenAlexW1588075516MaRDI QIDQ3630156

M. Sachenbacher, Stefan Heinz

Publication date: 3 June 2009

Published in: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (Search for Journal in Brave)

Full work available at URL: http://mediatum.ub.tum.de/node?id=993226

Mathematics Subject Classification ID

Approximation methods and heuristics in mathematical programming (90C59) Reliability, availability, maintenance, inspection in operations research (90B25) Combinatorial optimization (90C27)

Uses Software

SCIP

This page was built for publication: Using Model Counting to Find Optimal Distinguishing Tests

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