The following pages link to Alexey Ignatiev (Q272015):
Displayed 27 items.
- Quantified maximum satisfiability (Q272016) (← links)
- PySAT: a Python toolkit for prototyping with SAT oracles (Q1656601) (← links)
- On tackling the limits of resolution in SAT solving (Q1680253) (← links)
- A SAT-based approach to learn explainable decision sets (Q1799125) (← links)
- SAT-based rigorous explanations for decision lists (Q2118305) (← links)
- Assessing progress in SAT solvers through the Lens of incremental SAT (Q2118309) (← links)
- On computing the union of MUSes (Q2181933) (← links)
- DRMaxSAT with MaxHS: first contact (Q2181935) (← links)
- Assessing heuristic machine learning explanations with model counting (Q2181938) (← links)
- Propositional proof systems based on maximum satisfiability (Q2238728) (← links)
- Efficient symmetry breaking for SAT-based minimum DFA inference (Q2278273) (← links)
- MCS Extraction with Sublinear Oracle Queries (Q2818026) (← links)
- BEACON: An Efficient SAT-Based Tool for Debugging $${\mathcal {EL}}{^+}$$ Ontologies (Q2818038) (← links)
- Efficient Reasoning for Inconsistent Horn Formulae (Q2835881) (← links)
- Maximal Falsifiability (Q2870146) (← links)
- DPLL+ROBDD Derivation Applied to Inversion of Some Cryptographic Functions (Q3007675) (← links)
- On Reducing Maximum Independent Set to Minimum Satisfiability (Q3192058) (← links)
- SAT-Based Formula Simplification (Q3453233) (← links)
- Maximal falsifiability (Q4592701) (← links)
- (Q4667238) (← links)
- RC2: an Efficient MaxSAT Solver (Q5015603) (← links)
- Learning Optimal Decision Sets and Lists with SAT (Q5026234) (← links)
- On Tackling Explanation Redundancy in Decision Trees (Q5041018) (← links)
- (Q5283008) (← links)
- A numerical study of non-cavitating and cavitating liquid flow around a hydrofoil (Q5315521) (← links)
- Quantified Maximum Satisfiability: (Q5326468) (← links)
- On computing probabilistic abductive explanations (Q6116531) (← links)