( en | de | ru )

 

Disambiguation of "Levy, Jordi"

Author of the publication

copydeleteadd this publication to your clipboard
Multi-objective vehicle routing with automated negotiation.

, , and . Appl. Intell., 52 (14): 16916-16939 (2022)

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.

Alexander Jording

Guido Jordine

Jordi Serangeli

Jordi Serratosa

Ulrich Jordi

 

Other publications of authors with the same name

Resolution procedures for multiple-valued optimization., , , and . Inf. Sci., (2013)Bi-rewriting, a Term Rewriting Technique for Monotonic Order Relations., and . RTA, volume 690 of Lecture Notes in Computer Science, page 17-31. Springer, (1993)Nominal Unification from a Higher-Order Perspective., and . RTA, volume 5117 of Lecture Notes in Computer Science, page 246-260. Springer, (2008)Linear Second-Order Unification and Context Unification with Tree-Regular Constraints., and . RTA, volume 1833 of Lecture Notes in Computer Science, page 156-171. Springer, (2000)Nominal Unification and Matching of Higher Order Expressions with Recursive Let., , , , and . Fundam. Informaticae, 185 (3): 247-283 (2022)Improving SAT-Based Weighted MaxSAT Solvers., , , and . CP, volume 7514 of Lecture Notes in Computer Science, page 86-101. Springer, (2012)The Community Structure of SAT Formulas., , and . SAT, volume 7317 of Lecture Notes in Computer Science, page 410-423. Springer, (2012)On the relation between Context and Sequence Unification., , and . J. Symb. Comput., 45 (1): 74-95 (2010)On the Undecidability of Second-Order Unification., and . Inf. Comput., 159 (1-2): 125-150 (2000)On the Density of States of Boolean Formulas., , and . CCIA, volume 375 of Frontiers in Artificial Intelligence and Applications, page 369-382. IOS Press, (2023)