Federico Heras - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 26 from 26

2023

A Comparison of Enterprise Architecture ToolsFederico Heras. icsbt 2023: 186-192 [doi]

Evolution and Comparative Analysis of Enterprise Architecture ToolsFederico Heras. icsbt 2024: 113-131 [doi]

2015

MaxSAT-based encodings for Group MaxSATFederico Heras, António Morgado, Joao Marques-Silva. aicom, 28(2):195-214, 2015. [doi]

2013

2012

2011

Read-Once Resolution for Unsatisfiability-Based Max-SAT AlgorithmsFederico Heras, João Marques-Silva. IJCAI 2011: 572-577 [doi]

Core-Guided Binary Search Algorithms for Maximum SatisfiabilityFederico Heras, António Morgado, João Marques-Silva. AAAI 2011: 36-41 [doi]

2010

New Research Lines for Max-SAT - Exploiting the Recent Resolution Rule for Max-SatFederico Heras. icaart 2010: 648-651

The Impact of Max-SAT Resolution-Based Preprocessors on Local Search SolversFederico Heras, David Bañeres. jsat, 7(2-3):89-126, 2010. [doi]

2008

2007

MiniMaxSat: A New Weighted Max-SAT SolverFederico Heras, Javier Larrosa, Albert Oliveras. sat 2007: 41-55 [doi]

2006

New Inference Rules for Efficient Max-SAT SolvingFederico Heras, Javier Larrosa. AAAI 2006: 68-73

Intelligent variable orderings and re-orderings in DAC-based solvers for WCSPFederico Heras, Javier Larrosa. heuristics, 12(4-5):287-306, 2006. [doi]

2005

Existential arc consistency: Getting closer to full arc consistency in weighted CSPsSimon de Givry, Federico Heras, Matthias Zytnicki, Javier Larrosa. IJCAI 2005: 84-89 [doi]

Local Consistency in Weighted CSPs and Inference in Max-SATFederico Heras, Javier Larrosa. cp 2005: 849 [doi]

Resolution in Max-SAT and its relation to local consistency in weighted CSPsJavier Larrosa, Federico Heras. IJCAI 2005: 193-198 [doi]

Sign in or sign up to see more results.

runs on WebDSL

翻译：