Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

add support for smoothing structured decomposable circuits #43

Closed
guyvdbroeck opened this issue Aug 31, 2020 · 1 comment · Fixed by #69
Closed

add support for smoothing structured decomposable circuits #43

guyvdbroeck opened this issue Aug 31, 2020 · 1 comment · Fixed by #69
Labels
enhancement New feature or request
Milestone
Version 0.3

Comments

@guyvdbroeck
Copy link
Member

The current smoothing code will not respect a vtree.
@guyvdbroeck guyvdbroeck added the enhancement New feature or request label Aug 31, 2020
@khosravipasha
Copy link
Collaborator

khosravipasha commented Sep 26, 2020 •
edited
Loading

Also related to #19

After smoothing we get And gates with more than 2 children. I guess this would fix the issue, so will close the other issue.

Also might want support for propagate_constants with vtree.

@khosravipasha khosravipasha added this to the Version 0.3 milestone Oct 12, 2020
This was referenced Nov 7, 2020
Open
Closed
Open
@khosravipasha khosravipasha mentioned this issue Jan 30, 2021
Closed
@khosravipasha khosravipasha linked a pull request Mar 3, 2021 that will close this issue
Structured smoothing #69
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
Version 0.3
Development

Successfully merging a pull request may close this issue.

Structured smoothing Tractables/LogicCircuits.jl
2 participants
@guyvdbroeck @khosravipasha