Emma Rollon

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Proof Complexity for the Maximum Satisfiability Problem and its Use in SAT Refutations Journal Of Logic And Computation	2022-11-01	Paper
Towards a better understanding of (partial weighted) MaxSAT proof systems (available as arXiv preprint)	2021-04-07	Paper
scientific article; zbMATH DE number 5885078 (Why is no real title available?)	2011-05-06	Paper
Enabling local computation for partially ordered preferences Constraints	2010-11-19	Paper
Active tuples-based scheme for bounding posterior beliefs Journal of Artificial Intelligence Research	2010-11-10	Paper
A Soft Approach to Multi-objective Optimization Logic Programming	2009-01-22	Paper
Depth-First Mini-Bucket Elimination Principles and Practice of Constraint Programming - CP 2005	2008-09-09	Paper
Mini-bucket Elimination with Bucket Propagation Principles and Practice of Constraint Programming - CP 2006	2008-09-09	Paper
Bucket elimination for multiobjective optimization problems Journal of Heuristics	2006-09-28	Paper
scientific article; zbMATH DE number 1966923 (Why is no real title available?)	2003-08-18	Paper

Research outcomes over time

This page was built for person: Emma Rollon