Alba Cabiscol

Publication Activity (10 Years)

Years Active: 2001-2012
Publications (10 Years): 0

Top Topics

Constraint Programming

Backtracking Search

Top Venues

J. Multiple Valued Log. Soft Comput.

Publications

Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà
Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT. J. Multiple Valued Log. Soft Comput. 19 (1-3) (2012)
Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà
New Insights into Encodings from MaxCSP into Partial MaxSAT. ISMVL (2010)
Ramón Béjar, Alba Cabiscol, Felip Manyà, Jordi Planes
Generating Hard Instances for MaxSAT. ISMVL (2009)
Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà
Regular Encodings from Max-CSP into Partial Max-SAT. ISMVL (2009)
Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà
Sequential Encodings from Max-CSP into Partial Max-SAT. SAT (2009)
Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà
Encoding Max-CSP into Partial Max-SAT. ISMVL (2008)
Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà
Modelling Max-CSP as Partial Max-SAT. SAT (2008)
Ramón Béjar, Felip Manyà, Alba Cabiscol, Cèsar Fernández, Carla P. Gomes
Regular-SAT: A many-valued approach to solving combinatorial problems. Discret. Appl. Math. 155 (12) (2007)
Carlos Ansótegui, Ramón Béjar, Alba Cabiscol, Felip Manyà
The Interface between P and NP in Signed CNF Formulas. ISMVL (2004)
Teresa Alsinet, Ramón Béjar, Alba Cabiscol, Cèsar Fernández, Felip Manyà
Minimal and Redundant SAT Encodings for the All-Interval-Series Problem. CCIA (2002)
Ramón Béjar, Alba Cabiscol, Cèsar Fernández, Felip Manyà, Carla P. Gomes
Capturing Structure with Satisfiability. CP (2001)
Ramón Béjar, Alba Cabiscol, Cèsar Fernández, Felip Manyà, Carla P. Gomes
Extending the Reach of SAT with Many-Valued Logics. Electron. Notes Discret. Math. 9 (2001)