Pages that link to "Item:Q4652606"
From MaRDI portal
The following pages link to On Local Versus Global Satisfiability (Q4652606):
Displaying 7 items.
- A new bound for 3-satisfiable MaxSat and its algorithmic application (Q393085) (← links)
- Complexity of partial satisfaction. II. (Q452481) (← links)
- A new lower bound on the maximum number of satisfied clauses in Max-SAT and its algorithmic applications (Q1759685) (← links)
- On cyclic and nontransitive probabilities (Q2037285) (← links)
- Locally consistent constraint satisfaction problems (Q2581264) (← links)
- A New Bound for 3-Satisfiable Maxsat and Its Algorithmic Application (Q3088277) (← links)
- Partial Satisfaction of k-Satisfiable Formulas (Q3503510) (← links)
