ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
8
views
0
references
Top references
cited by
3
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,641
similar
All similar
Record
: found
Abstract
: not found
Article
: not found
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories
Author(s):
A. Cimatti
,
A. Griggio
,
R. SEBASTIANI
,
R Sebastiani
Publication date:
2011
Journal:
Journal of Artificial Intelligence Research
Read this article at
ScienceOpen
Publisher
Further versions
oa journal (via doaj)
oa repository (via OAI-PMH doi match)
oa repository (via OAI-PMH doi match)
Powered by
Bookmark
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Electronic Workshops in Computing (eWiC)
Author and article information
Journal
DOI::
10.1613/jair.3196
Data availability:
Comments
Comment on this article
Sign in to comment
scite_
Similar content
2,641
On Minimal Unsatisfiability and Time-Space Trade-offs for k-DNF Resolution
Authors:
Jakob Nordström
,
Alexander Razborov
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization
Authors:
Emilio Gamba
,
Bart Bogaerts
,
Tias Guns
Unsatisfiable Core Shrinking for Anytime Answer Set Optimization
Authors:
Mario Alviano
,
Carmine Dodaro
See all similar
Cited by
3
Satisfiability Modulo Theories
Authors:
Clark Barrett
,
Cesare Tinelli
A Modular Approach to MaxSAT Modulo Theories
Authors:
Alessandro Cimatti
,
Alberto Griggio
,
Bastiaan Schaafsma
…
Scalable Algorithms for Abduction via Enumerative Syntax-Guided Synthesis
Authors:
Andrew S. Reynolds
,
Haniel Barbosa
,
Daniel Larraz
…
See all cited by