( 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

Marc Miquel

Joan Miquel

 

Other publications of authors with the same name

On the Completeness of Arbitrary Selection Strategies for Paramodulation., and . ICALP, volume 2076 of Lecture Notes in Computer Science, page 951-962. Springer, (2001)Modular Redundancy for Theorem Proving., , , and . FroCoS, volume 1794 of Lecture Notes in Computer Science, page 186-199. Springer, (2000)Solving the Wastewater Treatment Plant Problem with SMT., , and . CoRR, (2016)Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem., , , , , , and . J. Artif. Intell. Res., (2022)SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints., , , , , and . CoRR, (2021)Auction Robustness through Satisability Modulo Theories., , and . WAT, volume 635 of CEUR Workshop Proceedings, page 33-44. CEUR-WS.org, (2009)A System for Generation and Visualization of Resource-Constrained Projects., , , and . CCIA, volume 269 of Frontiers in Artificial Intelligence and Applications, page 237-246. IOS Press, (2014)Paramodulation with Non-Monotonic Orderings., , , and . LICS, page 225-233. IEEE Computer Society, (1999)Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints., , , , , , , , , and . CP, volume 11802 of Lecture Notes in Computer Science, page 20-36. Springer, (2019)Scheduling B2B Meetings., , , , , and . CP, volume 8656 of Lecture Notes in Computer Science, page 781-796. Springer, (2014)