Federico Heras

Available identifiers

zbMath Open heras.federicoMaRDI QIDQ2348539

List of research outcomes

Publication	Date of Publication	Type
MaxSAT-based encodings for Group MaxSAT	2017-11-07	Paper
Iterative and core-guided maxsat solving: a survey and assessment	2015-06-15	Paper
Improvements to core-guided binary search for MaxSAT	2013-08-12	Paper
A logical approach to efficient Max-SAT solving	2009-07-17	Paper
Minimaxsat: an efficient weighted Max-SAT solver	2009-04-28	Paper
2006 and 2007 Max-SAT evaluations: contributed instances	2009-02-24	Paper
Local Consistency in Weighted CSPs and Inference in Max-SAT	2008-09-09	Paper
A Max-SAT Inference-Based Pre-processing for Max-Clique	2008-05-27	Paper
Intelligent variable orderings and re-orderings in DAC-based solvers for WCSP	2006-09-28	Paper

Research outcomes over time

This page was built for person: Federico Heras