( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On Solving MaxSAT Through SAT.

, , и . CCIA, том 202 из Frontiers in Artificial Intelligence and Applications, стр. 284-292. IOS Press, (2009)

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.

Alexander Jording

Guido Jordine

Jordi Serangeli

Jordi Serratosa

Ulrich Jordi

 

Другие публикации лиц с тем же именем

Bi-rewriting, a Term Rewriting Technique for Monotonic Order Relations., и . RTA, том 690 из Lecture Notes in Computer Science, стр. 17-31. Springer, (1993)Nominal Unification from a Higher-Order Perspective., и . RTA, том 5117 из Lecture Notes in Computer Science, стр. 246-260. Springer, (2008)Linear Second-Order Unification and Context Unification with Tree-Regular Constraints., и . RTA, том 1833 из Lecture Notes in Computer Science, стр. 156-171. Springer, (2000)Improving SAT-Based Weighted MaxSAT Solvers., , , и . CP, том 7514 из Lecture Notes in Computer Science, стр. 86-101. Springer, (2012)The Community Structure of SAT Formulas., , и . SAT, том 7317 из Lecture Notes in Computer Science, стр. 410-423. Springer, (2012)Resolution procedures for multiple-valued optimization., , , и . Inf. Sci., (2013)Nominal Unification and Matching of Higher Order Expressions with Recursive Let., , , , и . Fundam. Informaticae, 185 (3): 247-283 (2022)On the relation between Context and Sequence Unification., , и . J. Symb. Comput., 45 (1): 74-95 (2010)On the Undecidability of Second-Order Unification., и . Inf. Comput., 159 (1-2): 125-150 (2000)A Heuristic Algorithm for Multi-Agent Vehicle Routing with Automated Negotiation., , и . AAMAS, стр. 404-412. ACM, (2021)