Alba Cabiscol

According to our database, Alba Cabiscol authored at least 13 papers between 2001 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Encodings and Benchmarks for MaxSAT Solving.

Alba Cabiscol

PhD thesis, 2012

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

2010

New Insights into Encodings from MaxCSP into Partial MaxSAT.

Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà

Proceedings of the 40th IEEE International Symposium on Multiple-Valued Logic, 2010

2009

Sequential Encodings from Max-CSP into Partial Max-SAT.

Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà

Proceedings of the Theory and Applications of Satisfiability Testing, 2009

Generating Hard Instances for MaxSAT.

Ramón Béjar, Alba Cabiscol, Felip Manyà, Jordi Planes

Proceedings of the ISMVL 2009, 2009

Regular Encodings from Max-CSP into Partial Max-SAT.

Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà

Proceedings of the ISMVL 2009, 2009

2008

Modelling Max-CSP as Partial Max-SAT.

Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà

Proceedings of the Theory and Applications of Satisfiability Testing, 2008

Encoding Max-CSP into Partial Max-SAT.

Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà

Proceedings of the 38th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2008), 2008

2007

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

2004

The Interface between P and NP in Signed CNF Formulas.

Carlos Ansótegui, Ramón Béjar, Alba Cabiscol, Felip Manyà

Proceedings of the 34th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2004), 2004

2002

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à

Proceedings of the Topics in Artificial Intelligence, 5th Catalonian Conference on AI, 2002

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

Capturing Structure with Satisfiability.

Ramón Béjar, Alba Cabiscol, Cèsar Fernández, Felip Manyà, Carla P. Gomes

Proceedings of the Principles and Practice of Constraint Programming, 2001