Pages that link to "Item:Q2424882"
From MaRDI portal
The following pages link to Resolution and linear CNF formulas: improved \((n,3)\)-\textsc{MaxSAT} algorithms (Q2424882):
Displaying 6 items.
- Dealing with 4-variables by resolution: an improved MaxSAT algorithm (Q515546) (← links)
- Resolution for Max-SAT (Q1028942) (← links)
- An improved branching algorithm for \((n,3)\)-MaxSAT based on refined observations (Q1708599) (← links)
- An improved algorithm for the \((n, 3)\)-MaxSAT problem: asking branchings to satisfy the clauses (Q2051907) (← links)
- Algorithms for \((n,3)\)-MAXSAT and parameterization above the all-true assignment (Q2283027) (← links)
- (Q3181641) (← links)
