Pages that link to "Item:Q3971264"
From MaRDI portal
The following pages link to On unique satisfiablility and randomized reductions (Q3971264):
Displaying 7 items.
- Is Valiant-Vazirani's isolation probability improvable? (Q354652) (← links)
- Unique Horn renaming and Unique 2-Satisfiability (Q673674) (← links)
- Complexity of unique list colorability (Q935144) (← links)
- On unique satisfiability and the threshold behavior of randomized reductions (Q1894445) (← links)
- On the computational cost of disjunctive logic programming: Propositional case (Q1924780) (← links)
- Propositional circumscription and extended closed-world reasoning are \(\Pi_ 2^ P\)-complete (Q2367539) (← links)
- (Q3393309) (← links)