Pages that link to "Item:Q5463369"
From MaRDI portal
The following pages link to Algorithmic aspects in speech recognition (Q5463369):
Displaying 10 items.
- Learning dynamic algorithm portfolios (Q870809) (← links)
- An efficient solver for weighted Max-SAT (Q933784) (← links)
- Solving weighted MAX-SAT via global equilibrium search (Q1003491) (← links)
- Worst-case study of local search for MAX-\(k\)-SAT. (Q1408379) (← links)
- Maximum satisfiability: how good are tabu search and plateau moves in the worst-case? (Q1779533) (← links)
- Reactive local search techniques for the maximum \(k\)-conjunctive constraint satisfaction problem \((MAX-k-CCSP)\) (Q1961444) (← links)
- Algorithms for \((n,3)\)-MAXSAT and parameterization above the all-true assignment (Q2283027) (← links)
- Problems of discrete optimization: challenges and main approaches to solve them (Q2371716) (← links)
- Solving the weighted MAX-SAT problem using the dynamic convexized method (Q2439524) (← links)
- Hybrid Metaheuristics: An Introduction (Q2950517) (← links)
