Pages that link to "Item:Q1028724"
From MaRDI portal
The following pages link to An approach for extracting a small unsatisfiable core (Q1028724):
Displaying 6 items.
- Accelerating predicate abstraction by minimum unsatisfiable cores extraction (Q1980482) (← links)
- Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories (Q2996914) (← links)
- Faster Extraction of High-Level Minimal Unsatisfiable Cores (Q3007682) (← links)
- A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories (Q3612475) (← links)
- Accelerated Deletion-based Extraction of Minimal Unsatisfiable Cores (Q5015593) (← links)
- Efficiently explaining CSPs with unsatisfiable subset optimization (Q6535423) (← links)