Principles for a Judgement Editor Based on Binary Decision Diagrams

Guillaume Aucher, Jean Berbinau, Marie-Laure Morin. Principles for a Judgement Editor Based on Binary Decision Diagrams. FLAP, 6(5):781-814, 2019. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.