Advanced Research PortalResearch outputsSampler Programs: The Semantics of Abstract Constraint Progr...
View graph of relations

By same authors

  1. Variable Elimination for DLP-Functions

    Research output: Contribution to conference › Abstract › Scientific › peer-review

  2. Answer Set Programming: Related with Other Solving Paradigms

    Research output: Contribution to journal › Article › Scientific › peer-review

  3. Cross-Translating Answer Set Programs Using the ASPTOOLS Collection

    Research output: Contribution to journal › Article › Scientific › peer-review

  4. Towards Lazy Grounding with Lazy Normalization in Answer-Set Programming (Extended Abstract)

    Research output: Contribution to conference › Abstract › Scientific › peer-review

  5. Clingo goes linear constraints over reals and integers

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

Sampler Programs: The Semantics of Abstract Constraint Programs Revisited

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

Researchers

Research units

Details

Original languageEnglish
Title of host publicationTechnical Communications of the 26th International Conference on Logic Programming
EditorsManuel Hermenegildo, Torsten Schaub
Publication statusPublished - 2010
MoE publication typeA4 Article in a conference publication

ID: 639261

Aalto University is a multidisciplinary university, where science and art meet technology and business.
Research Information
Privacy Notice