Mateu Villaret

Available identifiers

zbMath Open villaret.mateuWikidataQ102175389 ScholiaQ102175389MaRDI QIDQ487631

List of research outcomes

Publication	Date of Publication	Type
Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem	2022-08-02	Paper
The sample analysis machine scheduling problem: definition and comparison of exact solving approaches	2022-06-22	Paper
Nominal Unification and Matching of Higher Order Expressions with Recursive Let	2022-05-16	Paper
Relaxing non-interference requirements in parallel plans	2021-12-22	Paper
SAT encodings for pseudo-Boolean constraints together with at-most-one constraints	2021-12-13	Paper
Term-Graph Anti-Unification	2021-06-15	Paper
SAT encodings of pseudo-Boolean constraints with at-most-one relations	2019-10-14	Paper
New complexity results for Łukasiewicz logic	2019-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4583798	2018-09-03	Paper
Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers	2018-02-19	Paper
Nominal unification of higher order expressions with recursive let	2017-10-13	Paper
Nominal Anti-Unification	2017-07-12	Paper
Higher-order pattern anti-unification in linear time	2017-07-06	Paper
The Complexity of 3-Valued Łukasiewicz Rules	2017-06-20	Paper
A Variant of Higher-Order Anti-Unification	2017-02-01	Paper
MaxSAT-Based Scheduling of B2B Meetings	2016-07-25	Paper
Nominal Unification from a Higher-Order Perspective	2015-09-17	Paper
Anti-unification for unranked terms and hedges	2015-07-02	Paper
Solving constraint satisfaction problems with SAT modulo theories	2015-01-22	Paper
Reformulation based MaxSat robustness	2015-01-22	Paper
Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories	2015-01-22	Paper
On the complexity of bounded second-order unification and stratified context unification	2012-06-08	Paper
An Efficient Nominal Unification Algorithm	2012-04-25	Paper
Anti-Unification for Unranked Terms and Hedges	2012-04-24	Paper
A System for Solving Constraint Satisfaction Problems with SMT	2010-09-29	Paper
Simplifying the signature in second-order unification	2010-01-18	Paper
On the relation between context and sequence unification	2009-11-06	Paper
The Complexity of Monadic Second-Order Unification	2009-06-22	Paper
Rewriting Techniques and Applications	2009-04-30	Paper
Stratified Context Unification Is NP-Complete	2009-03-12	Paper
Bounded Second-Order Unification Is NP-Complete	2008-09-25	Paper
Nominal Unification from a Higher-Order Perspective	2008-08-28	Paper
Sequence Unification Through Currying	2008-01-02	Paper
Automated Deduction – CADE-20	2006-11-01	Paper
Logical Aspects of Computational Linguistics	2005-11-23	Paper
https://portal.mardi4nfdi.de/entity/Q4808756	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4428308	2003-09-15	Paper
https://portal.mardi4nfdi.de/entity/Q2778877	2002-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q2723898	2001-07-08	Paper

Research outcomes over time

This page was built for person: Mateu Villaret