scientific article; zbMATH DE number 5226464
From MaRDI portal
Publication:5435834
Cited in
(7)- Modelling Max-CSP as Partial Max-SAT
- A Preprocessor for Max-SAT Solvers
- A Max-SAT Inference-Based Pre-processing for Max-Clique
- Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms
- Impulsive stabilization of nonlinear systems
- scientific article; zbMATH DE number 2052077 (Why is no real title available?)
- Feedback stabilization of dissipative impulsive dynamical systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5435834)