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 × 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 DBLP: Cabiscol:Alba

Contributed to:

SAT 20092009
SAT 20082008
SAT 20022002
SAT 20012001

Wrote 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.
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.

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.