( en | de | ru )

 

Disambiguation of "Bonet, Maria Luisa"

Author of the publication

copydeleteadd this publication to your clipboard
Redundancy for MaxSAT.

, , , and . Electron. Colloquium Comput. Complex., (2024)

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.

Maria Luisa Malosio

Maria Luisa Hopp

Maria Luísa Sartorelli

Maria Luisa Kleine

María Luisa Montoya

 

Other publications of authors with the same name

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