Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Constraint Propagation on GPU: A Case Study for the Cumulative Constraint., , , , and . CPAIOR, volume 13884 of Lecture Notes in Computer Science, page 336-353. Springer, (2023)3coSoKu and its Logic Programming Modeling., and . CILC, volume 2710 of CEUR Workshop Proceedings, page 5-20. CEUR-WS.org, (2020)Non-Well-Founded Set Based Multi-Agent Epistemic Action Language., , , and . CILC, volume 2396 of CEUR Workshop Proceedings, page 242-259. CEUR-WS.org, (2019)2D object reconstruction with ASP., , and . CILC, volume 2214 of CEUR Workshop Proceedings, page 132-146. CEUR-WS.org, (2018)CLP-based Protein Fragment Assembly., , , and . CILC, volume 598 of CEUR Workshop Proceedings, CEUR-WS.org, (2010)Modeling and Solving the Rush Hour puzzle., , and . CILC, volume 3204 of CEUR Workshop Proceedings, page 294-306. CEUR-WS.org, (2022)Multivalued Action Languages with Constraints in CLP(FD)., , and . ICLP, volume 4670 of Lecture Notes in Computer Science, page 255-270. Springer, (2007)A GPU Implementation of the ASP Computation., , , and . PADL, volume 9585 of Lecture Notes in Computer Science, page 30-47. Springer, (2016)Disunification in ACI1 Theories., , and . Constraints An Int. J., 9 (1): 35-91 (2004)A necessary condition for Constructive Negation in Constraint Logic Programming., , and . Inf. Process. Lett., 74 (3-4): 147-156 (2000)