Pages that link to "Item:Q3599093"
From MaRDI portal
The following pages link to On Some SAT-Variants over Linear Formulas (Q3599093):
Displaying 6 items.
- About some UP-based polynomial fragments of SAT (Q513329) (← links)
- Linear templates of ACTL formulas with an application to SAT-based verification (Q2398494) (← links)
- XSAT and NAE-SAT of linear CNF classes (Q2440094) (← links)
- SAT-Problems and Reductions with Respect to the Number of Variables (Q4351797) (← links)
- (Q4427902) (← links)
- Variant-Based Satisfiability in Initial Algebras (Q4686604) (← links)