1. Binary Decision Diagrams
2. Antoine Amarilli Pierre Bourhis Louis Jachiet and Stefan Mengel. 2017. https://arxiv.org/pdf/1702.05589 A circuit-based approach to efficient enumeration. In ICALP . Antoine Amarilli Pierre Bourhis Louis Jachiet and Stefan Mengel. 2017. https://arxiv.org/pdf/1702.05589 A circuit-based approach to efficient enumeration. In ICALP .
3. Antoine Amarilli Florent Capelli Mikaël Monet and Pierre Senellart. 2019. https://arxiv.org/pdf/1811.02944.pdf Connecting knowledge compilation classes and width parameters. Theory of Computing Systems (Jun 2019). Antoine Amarilli Florent Capelli Mikaël Monet and Pierre Senellart. 2019. https://arxiv.org/pdf/1811.02944.pdf Connecting knowledge compilation classes and width parameters. Theory of Computing Systems (Jun 2019).
4. Gilles Audemard and Laurent Simon. 2009. http://ijcai.org/Proceedings/09/Papers/074.pdf Predicting learnt clauses quality in modern SAT solvers. In IJCAI. Gilles Audemard and Laurent Simon. 2009. http://ijcai.org/Proceedings/09/Papers/074.pdf Predicting learnt clauses quality in modern SAT solvers. In IJCAI.