( en | de | ru )

 

Disambiguation of "Bofill, Miquel"

Author of the publication

copydeleteadd this publication to your clipboard
The Spanish Kidney Exchange Model: Study of Computation-Based Alternatives to the Current Procedure.

, , , , , , , , , and . AIME, volume 10259 of Lecture Notes in Computer Science, page 272-277. Springer, (2017)

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

Joan Miquel

Miquel Bemmelen

 

Other publications of authors with the same name

Paramodulation with Well-founded Orderings., and . J. Log. Comput., 19 (2): 263-302 (2009)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)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)Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem (Extended Abstract)., , , , , , and . IJCAI, page 6851-6852. ijcai.org, (2023)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)Modular Redundancy for Theorem Proving., , , and . FroCoS, volume 1794 of Lecture Notes in Computer Science, page 186-199. Springer, (2000)