From post

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.

 

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

A GPU Implementation of the ASP Computation., , , и . PADL, том 9585 из Lecture Notes in Computer Science, стр. 30-47. Springer, (2016)Disunification in ACI1 Theories., , и . Constraints An Int. J., 9 (1): 35-91 (2004)Multivalued Action Languages with Constraints in CLP(FD)., , и . ICLP, том 4670 из Lecture Notes in Computer Science, стр. 255-270. Springer, (2007)A necessary condition for Constructive Negation in Constraint Logic Programming., , и . Inf. Process. Lett., 74 (3-4): 147-156 (2000)Multiset Constraints and P Systems., , и . WMP, том 2235 из Lecture Notes in Computer Science, стр. 103-122. Springer, (2000)A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem., , и . LPAR, том 3835 из Lecture Notes in Computer Science, стр. 48-63. Springer, (2005)A Filtering Technique for Fragment Assembly- Based Proteins Loop Modeling with Constraints., , , , и . CP, том 7514 из Lecture Notes in Computer Science, стр. 850-866. Springer, (2012)A Fast Bisimulation Algorithm., , и . CAV, том 2102 из Lecture Notes in Computer Science, стр. 79-90. Springer, (2001)Answer Set Programming with Constraints Using Lazy Grounding., , , и . ICLP, том 5649 из Lecture Notes in Computer Science, стр. 115-129. Springer, (2009)Towards a Logic Programming Tool for Cancer Analysis., , и . ICTCS/CILC, том 1949 из CEUR Workshop Proceedings, стр. 361-375. CEUR-WS.org, (2017)