You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
At the moment, we can create CNF/DNF using clauses, where creation of each clause is fast, but the creation of the formula can be slow. It is however possible to implement a faster algorithm based on #19. This could be an interesting addition to speed up serialisation/deserialisation.
The text was updated successfully, but these errors were encountered:
daemontus
changed the title
Fast CNF/DNF algorithm
Fast CNF/DNF algorithm.
Aug 30, 2021
At the moment, we can create CNF/DNF using clauses, where creation of each clause is fast, but the creation of the formula can be slow. It is however possible to implement a faster algorithm based on #19. This could be an interesting addition to speed up serialisation/deserialisation.
The text was updated successfully, but these errors were encountered: