( en | de | ru )

 

Disambiguierung von "Cabiscol, Alba"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Sequential Encodings from Max-CSP into Partial Max-SAT.

, , , und . SAT, Volume 5584 von Lecture Notes in Computer Science, Seite 161-166. Springer, (2009)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Alba Fishta

Alba Mesa

Alba Formicola

Alba Scotti

Alba Polo

 

Weitere Publikationen von Autoren mit dem selben Namen

The Interface between P and NP in Signed CNF Formulas., , , und . ISMVL, Seite 251-256. IEEE Computer Society, (2004)New Insights into Encodings from MaxCSP into Partial MaxSAT., , , und . ISMVL, Seite 46-52. IEEE Computer Society, (2010)Extending the Reach of SAT with Many-Valued Logics., , , , und . Electron. Notes Discret. Math., (2001)Capturing Structure with Satisfiability., , , , und . CP, Volume 2239 von Lecture Notes in Computer Science, Seite 137-152. Springer, (2001)Sequential Encodings from Max-CSP into Partial Max-SAT., , , und . SAT, Volume 5584 von Lecture Notes in Computer Science, Seite 161-166. Springer, (2009)Modelling Max-CSP as Partial Max-SAT., , , und . SAT, Volume 4996 von Lecture Notes in Computer Science, Seite 1-14. Springer, (2008)Generating Hard Instances for MaxSAT., , , und . ISMVL, Seite 191-195. IEEE Computer Society, (2009)Encodings and Benchmarks for MaxSAT Solving.. University of Lleida, Spain, (2012)Minimal and Redundant SAT Encodings for the All-Interval-Series Problem., , , , und . CCIA, Volume 2504 von Lecture Notes in Computer Science, Seite 139-144. Springer, (2002)Regular Encodings from Max-CSP into Partial Max-SAT., , , und . ISMVL, Seite 196-202. IEEE Computer Society, (2009)