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 × Portugal
1 × USA
2 × United Kingdom
Collaborated with:
F.Manyà C.M.Li A.Cabiscol I.Lynce J.Planes
Talks about:
max (7) sat (6) partial (3) solver (2) csp (2) preprocessor (1) technolog (1) constrain (1) sequenti (1) problem (1)

Person: Josep Argelich

DBLP DBLP: Argelich:Josep

Contributed to:

SAT 20112011
SAT 20092009
SAT 20082008
SAT 20072007
SAT 20052005

Wrote 6 papers:

SAT-2011-ArgelichLMP #evaluation #satisfiability
Analyzing the Instances of the MaxSAT Evaluation (JA, CML, FM, JP), pp. 360–361.
SAT-2009-ArgelichCLM #encoding #satisfiability
Sequential Encodings from Max-CSP into Partial Max-SAT (JA, AC, IL, FM), pp. 161–166.
SAT-2008-ArgelichCLM #modelling #satisfiability
Modelling Max-CSP as Partial Max-SAT (JA, AC, IL, FM), pp. 1–14.
SAT-2008-ArgelichLM #preprocessor #satisfiability
A Preprocessor for Max-SAT Solvers (JA, CML, FM), pp. 15–20.
SAT-2007-ArgelichM #learning #satisfiability
Partial Max-SAT Solvers with Clause Learning (JA, FM), pp. 28–40.
SAT-2005-ArgelichM #problem #satisfiability
Solving Over-Constrained Problems with SAT Technology (JA, FM), pp. 1–15.

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.