M. C. Escher in Lego:  Balcony (1945)

Proof Complexity for the Maximum Satisfiability Problem and its Use in SAT Refutations.

Emma Rollon, Javier Larrosa. Log. Comput. 32(7): 1401-1435, 2022

Employee Scheduling With SAT-Based Pseudo-Boolean Constraint Solving.

Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Emma Rollon. IEEE Access 9: 142095-142104, 2021

Local arc consistency for non-invertible semirings, with an application to multi-objective optimization.

Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon, Francesco Santini. Expert Syst. Appl. 39(2): 1708-1717, 2012.

Enabling Local Computation for Partially Ordered Preferences.

Hélène Fargier, Emma Rollon, Nic Wilson. Constraints Journal. Vol 15, Issue 4, pp. 516-539, 2010.

Active Tuples-based Scheme for Bounding Posterior Beliefs.

Bozhena Bidyuk, Rina Dechter, Emma Rollon. Journal of Artificial Intelligence Research. Vol 39, pp. 335-371, 2010.

Bucket Elimination for Multiobjective Optimization Problems.

Emma Rollon, Javier Larrosa. Journal of Heuristics. Vol 12, Number 4-5, pp. 307-328, 2006.