Knowledge compilation

Adnan Darwiche/UCLA

Example of a DNNF circuit, a Boolean circuit that satisfies specific properties.

Download Photo (70.8 kB)