Algorithms transcending the SAT-symmetry interface

DOI10.4230/LIPICS.SAT.2023.1MaRDI QIDQ6643072zbMATH OpenFDO

Authors Markus Anders, P. Schweitzer, Mate Soos

Publication date 26 November 2024

Full work available at URL https://doi.org/10.4230/LIPICS.SAT.2023.1

zbMATH Keywords

Boolean satisfiabilitycomputational group theorysymmetry exploitation

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)

• Satsuma: structure-based symmetry breaking in SAT

This page was built for publication: Algorithms transcending the SAT-symmetry interface

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