Search Results - Mateu Villaret

Refine Results
  1. 21
    Nominal Unification of Higher Order Expressions with Recursive Let

    Nominal Unification of Higher Order Expressions with Recursive Let by Schmidt-Schauß, Manfred, Kutsia, Temur, Levy, Jordi, Mateu Villaret

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  2. 22
    Simplifying the signature in second-order unification

    Simplifying the signature in second-order unification by Levy, Jordi, Villaret, Mateu

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 23
    Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories

    Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories by Ansótegui, Carlos, Bofill, Miquel, Palahí, Miquel, Suy, Josep, Villaret, Mateu

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 24
    Experimental analysis of optimization techniques on the road passenger transportation problem

    Experimental analysis of optimization techniques on the road passenger transportation problem by López, Beatriz, Muñoz, Victor, Murillo, Javier, Barber, Federico, Salido, Miguel A., Abril, Montserrat, Cervantes, Mariamar, Caro, Luis F., Villaret, Mateu

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 25
    On the relation between Context and Sequence Unification

    On the relation between Context and Sequence Unification by Kutsia, Temur, Levy, Jordi, Villaret, Mateu

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 26
    Reformulation based MaxSAT robustness

    Reformulation based MaxSAT robustness by Bofill, Miquel, Busquets, Dídac, Muñoz, Víctor, Villaret, Mateu

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 27
    THE COMPLEXITY OF MONADIC SECOND-ORDER UNIFICATION

    THE COMPLEXITY OF MONADIC SECOND-ORDER UNIFICATION by LEVY, Jordi, SCHMIDT-SCHAUSS, Manfred, VILLARET, Mateu

    Get full text
    Article
    Save to List
    Saved in:
  8. 28
    Nominal Unification from a Higher-Order Perspective

    Nominal Unification from a Higher-Order Perspective by Levy, Jordi, Mateu Villaret

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 29
    On the complexity of Bounded Second-Order Unification and Stratified Context Unification

    On the complexity of Bounded Second-Order Unification and Stratified Context Unification by Levy, Jordi, Schmidt-Schauß, Manfred, Villaret, Mateu

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 30
    The Complexity of Monadic Second-Order Unification

    The Complexity of Monadic Second-Order Unification by Levy, Jordi, Schmidt-Schauß, Manfred, Villaret, Mateu

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 31
    Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers

    Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers by Ansótegui, C., Bofill, M., Manyà, F., Villaret, M.

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  12. 32
    Extending Multiple-Valued Clausal Forms with Linear Integer Arithmetic

    Extending Multiple-Valued Clausal Forms with Linear Integer Arithmetic by Ansótegui, Carlos, Bofill, Miquel, Manyà, Felip, Villaret, Mateu

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  13. 33
    On Grid Graph Reachability and Puzzle Games

    On Grid Graph Reachability and Puzzle Games by Bofill, Miquel, Borralleras, Cristina, Espasa, Joan, Mateu Villaret

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  14. 34
    Towards High-Level Modelling in Automated Planning

    Towards High-Level Modelling in Automated Planning by Sureda, Carla Davesa, Joan Espasa Arxer, Miguel, Ian, Mateu Villaret Auselle

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  15. 35
    TILC: The Interactive Lambda-Calculus Tracer

    TILC: The Interactive Lambda-Calculus Tracer by Ruiz, David, Villaret, Mateu

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  16. 36
    Challenges in Modelling and Solving Plotting with PDDL

    Challenges in Modelling and Solving Plotting with PDDL by Espasa, Joan, Miguel, Ian, Nightingale, Peter, Salamon, András Z, Mateu Villaret

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  17. 37
    Towards a Model of Puzznic

    Towards a Model of Puzznic by Espasa, Joan, Gent, Ian P, Miguel, Ian, Nightingale, Peter, Salamon, András Z, Mateu Villaret

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  18. 38
    A Good Snowman is Hard to Plan

    A Good Snowman is Hard to Plan by Bofill, Miquel, Borralleras, Cristina, Espasa, Joan, Martín, Gerard, Patow, Gustavo, Mateu Villaret

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  19. 39
    A Preliminary Case Study of Planning With Complex Transitions: Plotting

    A Preliminary Case Study of Planning With Complex Transitions: Plotting by Coll, Jordi, Espasa, Joan, Miguel, Ian, Mateu Villaret

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  20. 40
    Solving the Multi-Mode Resource-Constrained Project Scheduling Problem with SMT

    Solving the Multi-Mode Resource-Constrained Project Scheduling Problem with SMT by Bofill, Miquel, Coll, Jordi, Suy, Josep, Villaret, Mateu

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: