SAT-based generation of panar graphs

DOI10.4230/LIPICS.SAT.2023.14MaRDI QIDQ6643090zbMATH OpenFDO

Authors Markus Kirchweger, Manfred Scheucher, Stefan Szeider

Publication date 26 November 2024

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

zbMATH Keywords

dynamic symmetry breakingEarth-Moon problemKuratowski's theoremorder dimensionplanarity testSAT modulo symmetry (SMS)Schnyder's theoremTurán's theoremuniversal point set

Mathematics Subject Classification ID

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

Cited in

(3)

• SAT modulo symmetries for graph generation and enumeration
• SAT and lattice reduction for integer factorization
• Satisfiability modulo user propagators

This page was built for publication: SAT-based generation of panar graphs

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