Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
Váldodahkkit: | , , |
---|---|
Materiálatiipa: | Conference item |
Almmustuhtton: |
Springer
2010
|
Váldodahkkit: | , , |
---|---|
Materiálatiipa: | Conference item |
Almmustuhtton: |
Springer
2010
|