PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Argelich, Josep"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Experimenting with the Instances of the MaxSAT Evaluation.

, , , und . CCIA, Volume 232 von Frontiers in Artificial Intelligence and Applications, Seite 31-40. IOS Press, (2011)

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.

Keine Personen gefunden für den Autorennamen Argelich, Josep
Eine Person hinzufügen mit dem Namen Argelich, Josep
 

Weitere Publikationen von Autoren mit dem selben Namen

Max-SAT formalisms with hard and soft constraints.. AI Commun., 24 (1): 101-103 (2011)Boolean lexicographic optimization: algorithms & applications., , , und . Ann. Math. Artif. Intell., 62 (3-4): 317-343 (2011)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)Solving Over-Constrained Problems with SAT., und . CP, Volume 3709 von Lecture Notes in Computer Science, Seite 838. Springer, (2005)A distributed argumentation algorithm for mining consistent opinions in weighted Twitter discussions., , , und . Soft Comput., 23 (7): 2147-2166 (2019)Boolean Lexicographic Optimization., , , und . RCRA@CPAIOR, Volume 616 von CEUR Workshop Proceedings, CEUR-WS.org, (2010)Partial Max-SAT Solvers with Clause Learning., und . SAT, Volume 4501 von Lecture Notes in Computer Science, Seite 28-40. Springer, (2007)MinSAT versus MaxSAT for Optimization Problems., , , und . CP, Volume 8124 von Lecture Notes in Computer Science, Seite 133-142. Springer, (2013)Exploiting Many-Valued Variables in MaxSAT., , und . ISMVL, Seite 155-160. IEEE Computer Society, (2017)