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 necessary condition for Constructive Negation in Constraint Logic Programming., , и . Inf. Process. Lett., 74 (3-4): 147-156 (2000)A Fast Bisimulation Algorithm., , и . CAV, том 2102 из Lecture Notes in Computer Science, стр. 79-90. Springer, (2001)A Filtering Technique for Fragment Assembly- Based Proteins Loop Modeling with Constraints., , , , и . CP, том 7514 из Lecture Notes in Computer Science, стр. 850-866. Springer, (2012)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)Constraint Propagation on GPU: A Case Study for the Cumulative Constraint., , , , и . CPAIOR, том 13884 из Lecture Notes in Computer Science, стр. 336-353. Springer, (2023)3coSoKu and its Logic Programming Modeling., и . CILC, том 2710 из CEUR Workshop Proceedings, стр. 5-20. CEUR-WS.org, (2020)Non-Well-Founded Set Based Multi-Agent Epistemic Action Language., , , и . CILC, том 2396 из CEUR Workshop Proceedings, стр. 242-259. CEUR-WS.org, (2019)2D object reconstruction with ASP., , и . CILC, том 2214 из CEUR Workshop Proceedings, стр. 132-146. CEUR-WS.org, (2018)CLP-based Protein Fragment Assembly., , , и . CILC, том 598 из CEUR Workshop Proceedings, CEUR-WS.org, (2010)Modeling and Solving the Rush Hour puzzle., , и . CILC, том 3204 из CEUR Workshop Proceedings, стр. 294-306. CEUR-WS.org, (2022)