1. Amir Abboud, Thoma Dueholm Hansen, Virgini Vassilevska Williams, Ryan Williams, Simulating branching programs with edit distance and friends: or: a polylog shaved is a lower bound made, in: Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2016, Cambridge, MA, USA, June 18-21, 2016, pages 375–388, 2016.
2. Reverse search for enumeration;Avis;Discrete Appl. Math.,1996
3. Algorithms and Complexity of Enumeration Problems for the Evaluation of Logical Queries;Bagan,2009
4. Efficient generation of stable planar cages for chemistry;Barth,2015
5. De la Pertinence de l’énumération: Complexité en logiques propositionnelle et du premier ordre;Brault-Baron,2013