DOI10.3233/SAT-220002zbMath1495.68221arXiv2203.04788MaRDI QIDQ5080958
Stefan Mengel
Publication date: 1 June 2022 Published in: Journal on Satisfiability, Boolean Modeling and Computation (Search for Journal in Brave) Full work available at URL: https://arxiv.org/abs/2203.04788
zbMATH Keywords
knowledge compilation; switch-lists
Mathematics Subject Classification ID
68T30: Knowledge representation
06E30: Boolean functions
Cites Work