( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A practical tool for mass-customising configurable products

, , , и . (2003)

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

 

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

Introducing Real Variables and Integer Objective Functions to Answer Set Programming., , и . KDPD, том 8439 из Lecture Notes in Computer Science, стр. 118-135. Springer, (2013)Incorporating Learning in Grid-Based Randomized SAT Solving., , и . AIMSA, том 5253 из Lecture Notes in Computer Science, стр. 247-261. Springer, (2008)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)Classifying and Propagating Parity Constraints., , и . CP, том 7514 из Lecture Notes in Computer Science, стр. 357-372. Springer, (2012)Answer Set Programming without Unstratified Negation.. ICLP, том 5366 из Lecture Notes in Computer Science, стр. 88-92. Springer, (2008)A Distribution Method for Solving SAT in Grids., , и . SAT, том 4121 из Lecture Notes in Computer Science, стр. 430-435. Springer, (2006)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)DES: a Challenge Problem for Nonmonotonic Reasoning Systems, , и . CoRR, (2000)