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
SAT-based generation of panar graphs - MaRDI portal

SAT-based generation of panar graphs

From MaRDI portal

Publication:6643090

Jump to:navigation, search

DOI10.4230/LIPICS.SAT.2023.14MaRDI QIDQ6643090

Stefan Szeider, Markus Kirchweger, Manfred Scheucher

Publication date: 26 November 2024

zbMATH Keywords

order dimension Turán's theorem universal point set Kuratowski's theorem Schnyder's theorem dynamic symmetry breaking planarity test Earth-Moon problem 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: 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)

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