Author of the publication

Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD).

, , and . PPDP, page 230-241. ACM, (2005)

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

Adding Preferences to Answer Set Planning., and . ICLP, volume 2916 of Lecture Notes in Computer Science, page 513-514. Springer, (2003)ER-DCOPs: A Framework for Distributed Constraint Optimization with Uncertainty in Constraint Utilities., , , , and . AAMAS, page 606-614. ACM, (2016)A WAM-Based Implementation of a Logical Language with Sets., and . PLILP, volume 714 of Lecture Notes in Computer Science, page 275-290. Springer, (1993)Justification and debugging of answer set programs in ASP., , and . AADEBUG, page 49-58. ACM, (2005)Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems., , and . PADL, volume 8324 of Lecture Notes in Computer Science, page 87-103. Springer, (2014)Representing Multi-agent Planning in CLP., , and . LPNMR, volume 5753 of Lecture Notes in Computer Science, page 423-429. Springer, (2009)Parallel Answer Set Programming., , and . Handbook of Parallel Constraint Reasoning, Springer, (2018)Multimodal Presentation of Two-Dimensional Charts: An Investigation Using Open Office XML and Microsoft Excel., , , , and . ACM Trans. Access. Comput., 3 (2): 8:1-8:50 (2010)Update models for lying and misleading announcements., , and . SAC, page 911-916. ACM, (2022)Towards Distributed Computation of Answer Sets., , , , , and . CILC, volume 2396 of CEUR Workshop Proceedings, page 316-326. CEUR-WS.org, (2019)