PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Manyà, Felip"

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 Manyà, Felip
Eine Person hinzufügen mit dem Namen Manyà, Felip
 

Weitere Publikationen von Autoren mit dem selben Namen

Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT., , , und . Multiple-Valued Logic and Soft Computing, 19 (1-3): 3-23 (2012)Solving Combinatorial Problems with Regular Local Search Algorithms., und . LPAR, Volume 1705 von Lecture Notes in Computer Science, Seite 33-43. Springer, (1999)Modeling energy consumption in automated vacuum waste collection systems., , , und . Environmental Modelling and Software, (2014)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)Measuring the Hardness of SAT Instances., , , und . AAAI, Seite 222-228. AAAI Press, (2008)Resolution procedures for multiple-valued optimization., , , und . Inf. Sci., (2013)Clause Vivification by Unit Propagation in CDCL SAT Solvers., , , , , und . CoRR, (2018)Improved Exact Solvers for Weighted Max-SAT., , und . SAT, Volume 3569 von Lecture Notes in Computer Science, Seite 371-377. Springer, (2005)A Preprocessor for Max-SAT Solvers., , und . SAT, Volume 4996 von Lecture Notes in Computer Science, Seite 15-20. Springer, (2008)Capturing Structure with Satisfiability., , , , und . CP, Volume 2239 von Lecture Notes in Computer Science, Seite 137-152. Springer, (2001)