Capturing Structure with Satisfiability. - Ramón Béjar; Alba Cabiscol; Cèsar Fernández; Felip Manyà; Carla P. Gomes (CP, 2001)

Extending the Reach of SAT with Many-Valued Logics. - Ramón Béjar; Alba Cabiscol; Cèsar Fernández; Felip Manyà; Carla P. Gomes (Electron. Notes Discret. Math., 2001)

Minimal and Redundant SAT Encodings for the All-Interval-Series Problem. - Teresa Alsinet; Ramón Béjar; Alba Cabiscol; Cèsar Fernández; Felip Manyà (CCIA, 2002)

The Interface between P and NP in Signed CNF Formulas. - Carlos Ansótegui; Ramón Béjar; Alba Cabiscol; Felip Manyà (ISMVL, 2004)

Regular-SAT: A many-valued approach to solving combinatorial problems. - Ramón Béjar; Felip Manyà; Alba Cabiscol; Cèsar Fernández; Carla P. Gomes (Discret. Appl. Math., 2007)

Encoding Max-CSP into Partial Max-SAT. - Josep Argelich; Alba Cabiscol; Inês Lynce; Felip Manyà (ISMVL, 2008)

Modelling Max-CSP as Partial Max-SAT. - Josep Argelich; Alba Cabiscol; Inês Lynce; Felip Manyà (SAT, 2008)

Regular Encodings from Max-CSP into Partial Max-SAT. - Josep Argelich; Alba Cabiscol; Inês Lynce; Felip Manyà (ISMVL, 2009)

Generating Hard Instances for MaxSAT. - Ramón Béjar; Alba Cabiscol; Felip Manyà; Jordi Planes (ISMVL, 2009)

Sequential Encodings from Max-CSP into Partial Max-SAT. - Josep Argelich; Alba Cabiscol; Inês Lynce; Felip Manyà (SAT, 2009)

New Insights into Encodings from MaxCSP into Partial MaxSAT. - Josep Argelich; Alba Cabiscol; Inês Lynce; Felip Manyà (ISMVL, 2010)

Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT. - Josep Argelich; Alba Cabiscol; Inês Lynce; Felip Manyà (J. Multiple Valued Log. Soft Comput., 2012)

Encodings and Benchmarks for MaxSAT Solving. - Alba Cabiscol (2012)