( en | de | ru )

 

Disambiguation of "Bofill, Miquel"

Author of the publication

copydeleteadd this publication to your clipboard
Resource Analysis driven by (Conditional) Termination Proofs.

, , , , and . Theory Pract. Log. Program., 19 (5-6): 722-739 (2019)

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.

Jorge Bofill

Beate Miquel

Miquel Marqués

Miquel Bemmelen

Marc Miquel

 

Other publications of authors with the same name

The Sample Analysis Machine Scheduling Problem: Definition and comparison of exact solving approaches., , , , and . Comput. Oper. Res., (2022)Reformulation Based MaxSAT Robustness - (Extended Abstract)., , and . CP, volume 8656 of Lecture Notes in Computer Science, page 908-912. Springer, (2014)Solving Intensional Weighted CSPs by Incremental Optimization with BDDs., , , and . CP, volume 8656 of Lecture Notes in Computer Science, page 207-223. Springer, (2014)Paramodulation with Well-founded Orderings., and . J. Log. Comput., 19 (2): 263-302 (2009)Resource Analysis driven by (Conditional) Termination Proofs., , , , and . Theory Pract. Log. Program., 19 (5-6): 722-739 (2019)The recursive path and polynomial ordering for first-order and higher-order terms., , , and . J. Log. Comput., 23 (1): 263-305 (2013)The Barcelogic SMT Solver., , , , and . CAV, volume 5123 of Lecture Notes in Computer Science, page 294-298. Springer, (2008)Fuzzy XPath for the Automatic Search of Fuzzy Formulae Models., , , , , and . SUM, volume 9310 of Lecture Notes in Computer Science, page 385-398. Springer, (2015)Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem (Extended Abstract)., , , , , , and . IJCAI, page 6851-6852. ijcai.org, (2023)Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem., , , , , , and . J. Artif. Intell. Res., (2022)