BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × Italy
1 × Portugal
Collaborated with:
J.Larrosa A.Morgado J.Marques-Silva A.Oliveras
Talks about:
max (5) sat (4) process (1) weight (1) solver (1) search (1) improv (1) binari (1) infer (1) cliqu (1)

Person: Federico Heras

DBLP DBLP: Heras:Federico

Contributed to:

SAT 20122012
SAT 20082008
SAT 20072007

Wrote 3 papers:

SAT-2012-MorgadoHM #satisfiability
Improvements to Core-Guided Binary Search for MaxSAT (AM, FH, JMS), pp. 284–297.
SAT-2008-HerasL #clique #preprocessor #satisfiability
A Max-SAT Inference-Based Pre-processing for Max-Clique (FH, JL), pp. 139–152.
SAT-2007-HerasLO #named #satisfiability
MiniMaxSat: A New Weighted Max-SAT Solver (FH, JL, AO), pp. 41–55.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.