- Mohamed Amine Omrani, Wady Naanaa. Constraints for generating graphs with imposed and forbidden patterns: an application to molecular graphs. Constraints, 25(1):1-22, 2020.
- Gilles Audemard, Frédéric Boussemart, Christophe Lecoutre, Cédric Piette, Olivier Roussel. 3 and its ecosystem. Constraints, 25(1):47-69, 2020.
- Jaime E. González, André Augusto Ciré, Andrea Lodi 0001, Louis-Martin Rousseau. Integrated integer programming and decision diagram search tree with an application to the maximum independent set problem. Constraints, 25(1):23-46, 2020.
- Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey. Compiling CP subproblems to MDDs and d-DNNFs. Constraints, 24(1):56-93, 2019.
- Anthony Palmieri, Arnaud Lallouet, Luc Pons. Constraint Games for stable and optimal allocation of demands in SDN. Constraints, 24(3-4):252-287, 2019.
- Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi. Not all FPRASs are equal: demystifying FPRASs for DNF-counting. Constraints, 24(3-4):211-233, 2019.
- Xiaojuan Liao, Miyuki Koshimura, Kazuki Nomoto, Suguru Ueda, Yuko Sakurai, Makoto Yokoo. Improved WPM encoding for coalition structure generation under MC-nets. Constraints, 24(1):25-55, 2019.
- Dimitris Achlioptas, Panos Theodoropoulos. Model counting with error-correcting codes. Constraints, 24(2):162-182, 2019.
- Kostas Stergiou 0001. Neighborhood singleton consistencies. Constraints, 24(1):94-131, 2019.
- Aolong Zha, Miyuki Koshimura, Hiroshi Fujita. N-level Modulo-Based CNF encodings of Pseudo-Boolean constraints for MaxSAT. Constraints, 24(2):133-161, 2019.