The following pages link to (Q5435834):
Displaying 7 items.
- Feedback stabilization of dissipative impulsive dynamical systems (Q881839) (← links)
- Modelling Max-CSP as Partial Max-SAT (Q3502687) (← links)
- A Preprocessor for Max-SAT Solvers (Q3502688) (← links)
- A Max-SAT Inference-Based Pre-processing for Max-Clique (Q3502702) (← links)
- Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms (Q3502710) (← links)
- Impulsive stabilization of nonlinear systems (Q4276130) (← links)
- (Q4454074) (← links)