( 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 Sulaj

Alba Formicola

 

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)Capturing Structure with Satisfiability., , , , and . CP, volume 2239 of Lecture Notes in Computer Science, page 137-152. Springer, (2001)Extending the Reach of SAT with Many-Valued Logics., , , , and . Electron. Notes Discret. Math., (2001)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)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)Encodings and Benchmarks for MaxSAT Solving.. University of Lleida, Spain, (2012)Regular Encodings from Max-CSP into Partial Max-SAT., , , and . ISMVL, page 196-202. IEEE Computer Society, (2009)