( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On relation between constraint answer set programming and satisfiability modulo theories.

, и . Theory Pract. Log. Program., 17 (4): 559-590 (2017)

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.

Benjamin Bender

Cerebrospinal fluid and interstitial fluid volume measurement in the human brain at 3T with EPI. Uni Tübingen, (2009)

Benjamin Köckemann

Abundance, niche breadth and stress in the centre and at the border of the distribution range: a macroecological study on abundant and rare tree specie. Uni Göttingen, (2008)

Benjamin Braatz

Formal modelling and application of graph transformations in the resource description framework. TU Berlin, (2009)

Benjamin Dahlke

Benjamin Kaminski

 

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

SMT-Based Constraint Answer Set Solver EZSMT (System Description)., и . ICLP (Technical Communications), том 52 из OASIcs, стр. 1:1-1:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Prepositional Phrase Attachment Problem Revisited: how Verbnet can Help., , и . IWCS, стр. 12-22. The Association for Computer Linguistics, (2015)On relation between constraint answer set programming and satisfiability modulo theories., и . Theory Pract. Log. Program., 17 (4): 559-590 (2017)Constraint Answer Set Programming versus Satisfiability Modulo Theories., и . IJCAI, стр. 1181-1187. IJCAI/AAAI Press, (2016)