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
A SAT attack on Rota's basis conjecture - MaRDI portal

A SAT attack on Rota's basis conjecture

From MaRDI portal

Publication:6572015

Jump to:navigation, search

DOI10.4230/LIPICS.SAT.2022.4MaRDI QIDQ6572015

Markus Kirchweger, Stefan Szeider, Manfred Scheucher

Publication date: 12 July 2024

zbMATH Keywords

matroid dynamic symmetry breaking Rota's basis conjecture SAT modulo symmetry (SMS)

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computational aspects of satisfiability (68R07)

Related Items (1)

SAT modulo symmetries for graph generation and enumeration

This page was built for publication: A SAT attack on Rota's basis conjecture

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6572015)

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