( en | de | ru )

 

Disambiguierung von "Bonet, Maria Luisa"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Improving SAT-Based Weighted MaxSAT Solvers.

, , , und . CP, Volume 7514 von Lecture Notes in Computer Science, Seite 86-101. Springer, (2012)

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.

Maria Luisa Hopp

Maria Luisa Malosio

Maria Luísa Sartorelli

Maria Luisa Kleine

María Luisa Montoya

 

Weitere Publikationen von Autoren mit dem selben Namen

Degree complexity for a modified pigeonhole principle., und . Arch. Math. Log., 42 (5): 403-414 (2003)Optimality of size-width tradeoffs for resolution., und . Comput. Complex., 10 (4): 261-276 (2001)The Fractal Dimension of SAT Formulas., , , und . IJCAR, Volume 8562 von Lecture Notes in Computer Science, Seite 107-121. Springer, (2014)On the Structure of Industrial SAT Instances., , und . CP, Volume 5732 von Lecture Notes in Computer Science, Seite 127-141. Springer, (2009)Towards Industrial-Like Random SAT Instances., , und . IJCAI, Seite 387-392. (2009)On Solving MaxSAT Through SAT., , und . CCIA, Volume 202 von Frontiers in Artificial Intelligence and Applications, Seite 284-292. IOS Press, (2009)Constructing Evolutionary Trees in the Presence of Polymorphic Characters., , , und . SIAM J. Comput., 29 (1): 103-131 (1999)Better Methods for Solving Parsimony and Compatibility., , , und . J. Comput. Biol., 5 (3): 391-407 (1998)Resolution for Max-SAT., , und . Artif. Intell., 171 (8-9): 606-618 (2007)On the Automatizability of Resolution and Related Propositional Proof Systems, und . Electron. Colloquium Comput. Complex., (2002)