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
The SAT Museum POS'23 Artifact - MaRDI portal

Deprecated: Use of MediaWiki\Skin\SkinTemplate::injectLegacyMenusIntoPersonalTools was deprecated in Please make sure Skin option menus contains `user-menu` (and possibly `notifications`, `user-interface-preferences`, `user-page`) 1.46. [Called from MediaWiki\Skin\SkinTemplate::getPortletsTemplateData in /var/www/html/w/includes/Skin/SkinTemplate.php at line 691] in /var/www/html/w/includes/Debug/MWDebug.php on line 372

Deprecated: Use of QuickTemplate::(get/html/text/haveData) with parameter `personal_urls` was deprecated in MediaWiki Use content_navigation instead. [Called from MediaWiki\Skin\QuickTemplate::get in /var/www/html/w/includes/Skin/QuickTemplate.php at line 131] in /var/www/html/w/includes/Debug/MWDebug.php on line 372

The SAT Museum POS'23 Artifact

From MaRDI portal



DOI10.5281/zenodo.10037737Zenodo10037737MaRDI QIDQ6700819

Dataset published at Zenodo repository.

Author name not available (Why is that?)

Publication date: 24 October 2023

Copyright license: No records found.



Description

This dataset provides the artifact for our POS'23 paper on "The SAT Museum" effort. It includes the original sources of solvers winning the SAT competitions together with patches to fix, compile and run them with modern compilers, as well as log files and other experimental data when running these solvers on 6 SAT Competition benchmark sets.






This page was built for dataset: The SAT Museum POS'23 Artifact

Retrieved from "https://mardi.schubotz.org/w/index.php?title=The_SAT_Museum_POS%2723_Artifact&oldid=44838940"
Powered by MediaWiki