LogicCircuits.jl Match the code of `prob_equiv_signature` with the theory of probabilistic equivalence checking

Match the code of `prob_equiv_signature` with the theory of probabilistic equivalence checking

Open khosravipasha opened this issue 4 years ago • 1 comments

https://github.com/Juice-jl/LogicCircuits.jl/blob/a8f9474e8c668607afbe1e3ab9ab8c2c233292f1/src/Logical/Queries.jl#L40

May 23 '20 12:05 khosravipasha

http://users.rsise.anu.edu.au/~jinbo/02-d123.pdf

Jul 24 '20 03:07 khosravipasha