"Boolean Polynomials, BDDs and CRHS Equations - Connecting the Dots with ..."

John Petter Indrøy, Nicolas Costes, Håvard Raddum (2020)

Details and statistics

DOI: 10.1007/978-3-030-81652-0_9

access: closed

type: Conference or Workshop Paper

metadata version: 2022-05-04

a service of  Schloss Dagstuhl - Leibniz Center for Informatics