Paper
Paper
Search...
Search ResearchHub...
Ctrl+K
New
Home
Browse
Earn
Fund
RH Journal
Notebook
Lists
Leaderboard
RSC
USD
Changelog
Terms
Privacy
Issues
Docs
Support
Foundation
About
Counterexample Guided Abstraction Refinement Algorithm fo... | ResearchHub
Paper
Paper
Search...
Search ResearchHub...
Ctrl+K
New
Home
Browse
Earn
Fund
RH Journal
Notebook
Lists
Leaderboard
RSC
USD
Changelog
Terms
Privacy
Issues
Docs
Support
Foundation
About
Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
0
Authors
Mikoláš Janota
2 more
Mikoláš Janota
•
Joao Marques-Silva
•
Radu Grigore
Published
June 30, 2010
Paper
Conversation
0
Reviews
0
Bounties
0
Loading PDF viewer…
Supporters
Support the authors with ResearchCoin
Tip RSC
Preprint Server
Topics
Artificial Intelligence
Other Formats
PDF
