Travelled to:1 × China
1 × United Kingdom
2 × USA
Collaborated with:F.Manyà J.Argelich I.Lynce R.Béjar C.Ansótegui C.M.Li C.Fernández C.P.Gomes
Talks about:max (4) sat (3) partial (2) valu (2) mani (2) csp (2) sequenti (1) resolut (1) formula (1) method (1)
Person: Alba Cabiscol
DBLP: Cabiscol:Alba
Contributed to:
2009200820022001Wrote 4 papers:
- 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-2002-ManyaABCL
- Resolution methods for many-valued CNF formulas (FM, CA, RB, AC, CML), p. 42.
- SAT-2001-BejarCFMG #logic #satisfiability
- Extending the Reach of SAT with Many-Valued Logics (RB, AC, CF, FM, CPG), pp. 392–407.