Efficient Evolution of Variable Ordering for Binary Decision Diagram Optimization
Year: 2025
Type: article
Authors: Rune Krauss, Rolf Drechsler
Institution: German Research Centre for Artificial Intelligence
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
Award: G8833788280
OpenAlex ID: W4410359304