Knowledge compilation
Adnan Darwiche/UCLA

Knowledge compilation

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


Download Photo (70.8 kB)