( en | de | ru )

 

Disambiguation of "Villaret, Mateu"

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.

Rafael Hernán Mateus Vargas

Sara Mateus Fernández

 

Other publications of authors with the same name

SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints., , , , , and . CoRR, (2021)Nominal Unification from a Higher-Order Perspective, and . CoRR, (2010)Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem., , , , , , and . J. Artif. Intell. Res., (2022)TILC: The Interactive Lambda-Calculus Tracer., and . PROLE, volume 248 of Electronic Notes in Theoretical Computer Science, page 173-183. Elsevier, (2008)Auction Robustness through Satisability Modulo Theories., , and . WAT, volume 635 of CEUR Workshop Proceedings, page 33-44. CEUR-WS.org, (2009)Scheduling B2B Meetings., , , , , and . CP, volume 8656 of Lecture Notes in Computer Science, page 781-796. Springer, (2014)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)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)Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers., , , and . ISMVL, page 25-30. IEEE Computer Society, (2012)An Efficient Nominal Unification Algorithm., and . RTA, volume 6 of LIPIcs, page 209-226. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)