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 comparison of SAT encodings for acyclicity of directed graphs - MaRDI portal

A comparison of SAT encodings for acyclicity of directed graphs

From MaRDI portal

Publication:6643116

Jump to:navigation, search

DOI10.4230/LIPICS.SAT.2023.30MaRDI QIDQ6643116

Roland H. C. Yap, Ruiwei Wang, Neng-Fa Zhou

Publication date: 26 November 2024

zbMATH Keywords

SAT encoding graph constraints graph synthesis acyclic constraint

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)

This page was built for publication: A comparison of SAT encodings for acyclicity of directed graphs

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

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