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: Argelich:Josep
Contributed to:
20112009200820072005Wrote 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.