Bounded Model Checking, Answer Set Programming, and Fixed Points

    Research output: Contribution to conferenceAbstractScientificpeer-review

    Original languageEnglish
    Pages9
    Publication statusPublished - 2006
    EventInternational Workshop on Bounded Model Checking - Seattle, United States
    Duration: 15 Aug 200615 Aug 2006
    Conference number: 4

    Workshop

    WorkshopInternational Workshop on Bounded Model Checking
    Abbreviated titleBMC
    CountryUnited States
    CitySeattle
    Period15/08/200615/08/2006

    Keywords

    • bounded model checking
    • linear time temporal logic
    • Logic programming
    • stable models

    Cite this