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]

Authors

Guillaume Aucher

This author has not been identified. Look up 'Guillaume Aucher' in Google

Jean Berbinau

This author has not been identified. Look up 'Jean Berbinau' in Google

Marie-Laure Morin

This author has not been identified. Look up 'Marie-Laure Morin' in Google