The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Mateu Villaret" ( http://dblp.L3S.de/Authors/Mateu_Villaret )

URL (Homepage):  https://orcid.org/0000-0002-8066-3458  Author page on DBLP  Author page in RDF  Community of Mateu Villaret in ASPL-2

Publication years (Num. hits)
2000-2009 (16) 2010-2013 (16) 2014-2016 (17) 2017-2019 (10)
Publication types (Num. hits)
article(18) inproceedings(40) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5 occurrences of 5 keywords

Results
Found 60 publication records. Showing 59 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret New complexity results for Łukasiewicz logic. Search on Bibsonomy Soft Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret SAT Encodings of Pseudo-Boolean Constraints with At-Most-One Relations. Search on Bibsonomy CPAIOR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Jesús Giráldez-Cru, Josep Suy, Mateu Villaret A Study on Implied Constraints in a MaxSAT Approach to B2B Problems. Search on Bibsonomy CCIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Carlos Ansótegui, Miquel Bofill, Jordi Coll, Nguyen Dang, Juan Luis Esteban, Ian Miguel, Peter Nightingale, András Z. Salamon, Josep Suy, Mateu Villaret Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret Term-Graph Anti-Unification. Search on Bibsonomy FSCD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret Higher-Order Pattern Anti-Unification in Linear Time. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Marcos Calderón, Francesc Castro, Esteve del Acebo, Pablo Delgado, Marc Garcia, Marta García, Marc Roig, María O. Valentín, Mateu Villaret The Spanish Kidney Exchange Model: Study of Computation-Based Alternatives to the Current Procedure. Search on Bibsonomy AIME The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret An Efficient SMT Approach to Solve MRCPSP/max Instances with Tight Constraints on Resources. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Joan Espasa, Mateu Villaret Relaxed Exists-Step Plans in Planning as SMT. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Joan Espasa, Mateu Villaret The RANTANPLAN planner: system description. Search on Bibsonomy Knowledge Eng. Review The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret Nominal Unification of Higher Order Expressions with Recursive Let. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Carlos Ansótegui, Miquel Bofill, Felip Manyà, Mateu Villaret Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers. Search on Bibsonomy Fuzzy Sets and Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret Solving the Multi-Mode Resource-Constrained Project Scheduling Problem with SMT. Search on Bibsonomy ICTAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Joan Espasa, Mateu Villaret A Semantic Notion of Interference for Planning Modulo Theories. Search on Bibsonomy ICAPS The full citation details ... 2016 DBLP  BibTeX  RDF
1Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret Nominal Unification of Higher Order Expressions with Recursive Let. Search on Bibsonomy LOPSTR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Carlos Ansótegui, Miquel Bofill, Felip Manyà, Mateu Villaret SAT and SMT Technology for Many-Valued Logics. Search on Bibsonomy Multiple-Valued Logic and Soft Computing The full citation details ... 2015 DBLP  BibTeX  RDF
1Miquel Bofill, Marc Garcia, Josep Suy, Mateu Villaret MaxSAT-Based Scheduling of B2B Meetings. Search on Bibsonomy CPAIOR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret The Complexity of 3-Valued Łukasiewicz Rules. Search on Bibsonomy MDAI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jesús Manuel Almendros-Jiménez, Miquel Bofill, Alejandro Luna Tedesqui, Ginés Moreno, Carlos Vázquez, Mateu Villaret Fuzzy XPath for the Automatic Search of Fuzzy Formulae Models. Search on Bibsonomy SUM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret Finding Hard Instances of Satisfiability in Lukasiewicz Logics. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret Nominal Anti-Unification. Search on Bibsonomy RTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Temur Kutsia, Jordi Levy, Mateu Villaret Anti-unification for Unranked Terms and Hedges. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret A System for Generation and Visualization of Resource-Constrained Projects. Search on Bibsonomy CCIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Joan Espasa, Marc Garcia, Miquel Palahí, Josep Suy, Mateu Villaret Scheduling B2B Meetings. Search on Bibsonomy CP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret Solving Intensional Weighted CSPs by Incremental Optimization with BDDs. Search on Bibsonomy CP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Dídac Busquets, Mateu Villaret Reformulation Based MaxSAT Robustness - (Extended Abstract). Search on Bibsonomy CP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Dídac Busquets, Víctor Muñoz, Mateu Villaret Reformulation based MaxSAT robustness. Search on Bibsonomy Constraints The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Carlos Ansótegui, Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories. Search on Bibsonomy Constraints The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret A Variant of Higher-Order Anti-Unification. Search on Bibsonomy RTA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jordi Levy, Mateu Villaret Nominal Unification from a Higher-Order Perspective. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret Solving constraint satisfaction problems with SAT modulo theories. Search on Bibsonomy Constraints The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Vicenç Torra, Yasuo Narukawa, Beatriz López, Mateu Villaret (eds.) Modeling Decisions for Artificial Intelligence - 9th International Conference, MDAI 2012, Girona, Catalonia, Spain, November 21-23, 2012. Proceedings Search on Bibsonomy MDAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Carlos Ansótegui, Miquel Bofill, Felip Manyà, Mateu Villaret Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers. Search on Bibsonomy ISMVL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret On the complexity of Bounded Second-Order Unification and Stratified Context Unification. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Carlos Ansótegui, Miquel Bofill, Felip Manyà, Mateu Villaret Extending Multiple-Valued Clausal Forms with Linear Integer Arithmetic. Search on Bibsonomy ISMVL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Temur Kutsia, Jordi Levy, Mateu Villaret Anti-Unification for Unranked Terms and Hedges. Search on Bibsonomy RTA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Carlos Ansótegui, Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret Satisfiability Modulo Theories: An Efficient Approach for the Resource-Constrained Project Scheduling Problem. Search on Bibsonomy SARA The full citation details ... 2011 DBLP  BibTeX  RDF
1Jordi Levy, Mateu Villaret Nominal Unification from a Higher-Order Perspective Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Temur Kutsia, Jordi Levy, Mateu Villaret On the relation between Context and Sequence Unification. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Josep Suy, Mateu Villaret A System for Solving Constraint Satisfaction Problems with SMT. Search on Bibsonomy SAT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Dídac Busquets, Mateu Villaret A declarative approach to robust weighted Max-SAT. Search on Bibsonomy PPDP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF max-sat, robustness
1Jordi Levy, Mateu Villaret An Efficient Nominal Unification Algorithm. Search on Bibsonomy RTA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1David Ruiz 0003, Mateu Villaret TILC: The Interactive Lambda-Calculus Tracer. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jordi Levy, Mateu Villaret Simplifying the signature in second-order unification. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Beatriz López, Víctor Muñoz, Javier Murillo, Federico Barber, Miguel A. Salido, Montserrat Abril, Mariamar Cervantes, Luis F. Caro, Mateu Villaret Experimental analysis of optimization techniques on the road passenger transportation problem. Search on Bibsonomy Eng. Appl. of AI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Dídac Busquets, Mateu Villaret Auction Robustness through Satisability Modulo Theories. Search on Bibsonomy WAT The full citation details ... 2009 DBLP  BibTeX  RDF
1Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret The Complexity of Monadic Second-Order Unification. Search on Bibsonomy SIAM J. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jordi Levy, Mateu Villaret Nominal Unification from a Higher-Order Perspective. Search on Bibsonomy RTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Temur Kutsia, Jordi Levy, Mateu Villaret Sequence Unification Through Currying. Search on Bibsonomy RTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret Stratified Context Unification Is NP-Complete. Search on Bibsonomy IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret Bounded Second-Order Unification Is NP-Complete. Search on Bibsonomy RTA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jordi Levy, Joachim Niehren, Mateu Villaret Well-Nested Context Unification. Search on Bibsonomy CADE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Joachim Niehren, Mateu Villaret Describing Lambda Terms in Context Unification. Search on Bibsonomy LACL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF second-order unification, dominance constraints, underspecified semantics, computational linguistics
1Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret Monadic Second-Order Unification Is NP-Complete. Search on Bibsonomy RTA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Joachim Niehren, Mateu Villaret Parallelism and Tree Regular Constraints. Search on Bibsonomy LPAR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF unification, tree automata, computational logic
1Jordi Levy, Mateu Villaret Currying Second-Order Unification Problems. Search on Bibsonomy RTA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Jordi Levy, Mateu Villaret Context Unification and Traversal Equations. Search on Bibsonomy RTA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Jordi Levy, Mateu Villaret Linear Second-Order Unification and Context Unification with Tree-Regular Constraints. Search on Bibsonomy RTA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #59 of 59 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license