Decomposable structures, Boolean function representations, and optimization
From MaRDI portal
Publication:3568997
DOI10.1007/3-540-60246-1_110zbMath1193.68184OpenAlexW1528250837MaRDI QIDQ3568997
Publication date: 17 June 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-60246-1_110
Analysis of algorithms and problem complexity (68Q25) Graph theory (including graph drawing) in computer science (68R10) Specification and verification (program logics, model checking, etc.) (68Q60) Boolean functions (06E30)
Uses Software
This page was built for publication: Decomposable structures, Boolean function representations, and optimization
