( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings

, и (Ред.) том 6341 из Lecture Notes in Computer Science, Springer, (2010)

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.

Leena Niemelä

Stefanie Niemela

Ilkka Hanski

Ilkka Kronholm

Ilkka Haavisto

 

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

Extending Clause Learning SAT Solvers with Complete Parity Reasoning (extended version), , и . CoRR, (2012)Conflict-Driven XOR-Clause Learning (extended version)., , и . CoRR, (2014)Classifying and Propagating Parity Constraints., , и . CP, том 7514 из Lecture Notes in Computer Science, стр. 357-372. Springer, (2012)The Smodels System., и . LPNMR, том 2173 из Lecture Notes in Computer Science, стр. 434-438. Springer, (2001)GNT - A Solver for Disjunctive Logic Programs., и . LPNMR, том 2923 из Lecture Notes in Computer Science, стр. 331-335. Springer, (2004)A Distribution Method for Solving SAT in Grids., , и . SAT, том 4121 из Lecture Notes in Computer Science, стр. 430-435. Springer, (2006)Answer Set Programming without Unstratified Negation.. ICLP, том 5366 из Lecture Notes in Computer Science, стр. 88-92. Springer, (2008)Incorporating Learning in Grid-Based Randomized SAT Solving., , и . AIMSA, том 5253 из Lecture Notes in Computer Science, стр. 247-261. Springer, (2008)On the Complexity of the Decision Problem in Propositional Nonmonotonic Logic.. CSL, том 385 из Lecture Notes in Computer Science, стр. 226-239. Springer, (1988)Smodels: A System for Answer Set Programming, , и . CoRR, (2000)