A SAT attack on Rota's basis conjecture

DOI10.4230/LIPICS.SAT.2022.4MaRDI QIDQ6572015FDOQ6572015

Markus Kirchweger, Stefan Szeider, Manfred Scheucher

Publication date: 12 July 2024

zbMATH Keywords

matroiddynamic symmetry breakingRota's basis conjectureSAT modulo symmetry (SMS)

Mathematics Subject Classification ID

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

Cited In (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)