( en | de | ru )

 

Disambiguation of "Cabiscol, Alba"

Author of the publication

copydeleteadd this publication to your clipboard
Sequential Encodings from Max-CSP into Partial Max-SAT.

, , , and . SAT, volume 5584 of Lecture Notes in Computer Science, page 161-166. Springer, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Alba Fishta

Alba Mesa

Alba Scotti

Alba Formicola

Alba Polo

 

Other publications of authors with the same name

The Interface between P and NP in Signed CNF Formulas., , , and . ISMVL, page 251-256. IEEE Computer Society, (2004)New Insights into Encodings from MaxCSP into Partial MaxSAT., , , and . ISMVL, page 46-52. IEEE Computer Society, (2010)Sequential Encodings from Max-CSP into Partial Max-SAT., , , and . SAT, volume 5584 of Lecture Notes in Computer Science, page 161-166. Springer, (2009)Modelling Max-CSP as Partial Max-SAT., , , and . SAT, volume 4996 of Lecture Notes in Computer Science, page 1-14. Springer, (2008)Generating Hard Instances for MaxSAT., , , and . ISMVL, page 191-195. IEEE Computer Society, (2009)Extending the Reach of SAT with Many-Valued Logics., , , , and . Electron. Notes Discret. Math., (2001)Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT., , , and . J. Multiple Valued Log. Soft Comput., 19 (1-3): 3-23 (2012)Capturing Structure with Satisfiability., , , , and . CP, volume 2239 of Lecture Notes in Computer Science, page 137-152. Springer, (2001)Regular-SAT: A many-valued approach to solving combinatorial problems., , , , and . Discret. Appl. Math., 155 (12): 1613-1626 (2007)Minimal and Redundant SAT Encodings for the All-Interval-Series Problem., , , , and . CCIA, volume 2504 of Lecture Notes in Computer Science, page 139-144. Springer, (2002)