Emma Rollon

From MaRDI portal
Person:606905

Available identifiers

zbMath Open rollon.emmaMaRDI QIDQ606905

List of research outcomes





PublicationDate of PublicationType
Proof Complexity for the Maximum Satisfiability Problem and its Use in SAT Refutations2022-11-01Paper
Towards a better understanding of (partial weighted) MaxSAT proof systems2021-04-07Paper
https://portal.mardi4nfdi.de/entity/Q29962522011-05-06Paper
Enabling local computation for partially ordered preferences2010-11-19Paper
Active tuples-based scheme for bounding posterior beliefs2010-11-10Paper
A Soft Approach to Multi-objective Optimization2009-01-22Paper
Depth-First Mini-Bucket Elimination2008-09-09Paper
Mini-bucket Elimination with Bucket Propagation2008-09-09Paper
Bucket elimination for multiobjective optimization problems2006-09-28Paper
https://portal.mardi4nfdi.de/entity/Q44210222003-08-18Paper

Research outcomes over time

This page was built for person: Emma Rollon

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:606905&oldid=10902694"
Powered by MediaWiki