Mateu Villaret
Orcid: 0000-0002-8066-3458
According to our database1,
Mateu Villaret
authored at least 75 papers
between 2000 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
2
4
6
2
2
1
1
2
1
1
2
2
1
1
2
1
3
1
1
3
1
4
3
4
5
1
1
2
3
1
1
1
2
2
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Constraints An Int. J., June, 2024
Cogn. Syst. Res., 2024
2023
SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract).
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem (Extended Abstract).
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Proceedings of the Artificial Intelligence Research and Development, 2023
2022
Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem.
J. Artif. Intell. Res., 2022
New Reasoning Models: Improving Optimisation and Decision Support with the Management of Uncertainty and Constraints.
Int. J. Comput. Intell. Syst., 2022
Int. J. Comput. Intell. Syst., 2022
Fundam. Informaticae, 2022
The Sample Analysis Machine Scheduling Problem: Definition and comparison of exact solving approaches.
Comput. Oper. Res., 2022
Artif. Intell., 2022
Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022
2021
Proceedings of the Artificial Intelligence Research and Development, 2021
2020
Comput. Ind. Eng., 2020
Artif. Intell. Rev., 2020
2019
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019
Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2019
Proceedings of the Artificial Intelligence Research and Development, 2019
2018
Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018
2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
An Efficient SMT Approach to Solve MRCPSP/max Instances with Tight Constraints on Resources.
Proceedings of the Principles and Practice of Constraint Programming, 2017
The Spanish Kidney Exchange Model: Study of Computation-Based Alternatives to the Current Procedure.
Proceedings of the Artificial Intelligence in Medicine, 2017
2016
Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers.
Fuzzy Sets Syst., 2016
Proceedings of the Logic-Based Program Synthesis and Transformation, 2016
Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016
Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016
2015
J. Multiple Valued Log. Soft Comput., 2015
Proceedings of the Scalable Uncertainty Management - 9th International Conference, 2015
Proceedings of the Modeling Decisions for Artificial Intelligence, 2015
Proceedings of the 2015 IEEE International Symposium on Multiple-Valued Logic, 2015
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2015
2014
Proceedings of the 28th International Workshop on Unification, 2014
Proceedings of the Principles and Practice of Constraint Programming, 2014
Proceedings of the Principles and Practice of Constraint Programming, 2014
Proceedings of the Principles and Practice of Constraint Programming, 2014
Proceedings of the Artificial Intelligence Research and Development, 2014
2013
Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories.
Constraints An Int. J., 2013
Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013
2012
Constraints An Int. J., 2012
Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers.
Proceedings of the 42nd IEEE International Symposium on Multiple-Valued Logic, 2012
2011
On the complexity of Bounded Second-Order Unification and Stratified Context Unification.
Log. J. IGPL, 2011
Satisfiability Modulo Theories: An Efficient Approach for the Resource-Constrained Project Scheduling Problem.
Proceedings of the Ninth Symposium on Abstraction, Reformulation, and Approximation, 2011
Proceedings of the 41st IEEE International Symposium on Multiple-Valued Logic, 2011
2010
Proceedings of the Theory and Applications of Satisfiability Testing, 2010
Proceedings of the 21st International Conference on Rewriting Techniques and Applications, 2010
Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2010
2009
Experimental analysis of optimization techniques on the road passenger transportation problem.
Eng. Appl. Artif. Intell., 2009
Appl. Algebra Eng. Commun. Comput., 2009
Proceedings of the Second Workshop on Agreement Technologies, 2009
2008
Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, 2008
2007
Proceedings of the Term Rewriting and Applications, 18th International Conference, 2007
2006
Proceedings of the Term Rewriting and Applications, 17th International Conference, 2006
Proceedings of the Automated Reasoning, Third International Joint Conference, 2006
2005
Proceedings of the Logical Aspects of Computational Linguistics, 2005
2004
Proceedings of the Rewriting Techniques and Applications, 15th International Conference, 2004
2002
Proceedings of the Rewriting Techniques and Applications, 13th International Conference, 2002
Proceedings of the Logic for Programming, 2002
2001
Proceedings of the Rewriting Techniques and Applications, 12th International Conference, 2001
2000
Linear Second-Order Unification and Context Unification with Tree-Regular Constraints.
Proceedings of the Rewriting Techniques and Applications, 11th International Conference, 2000