- Complex systems theory
- >
- Computational complexity theory
- >
- Computational problems
- >
- P-complete problems

- Mathematical concepts
- >
- Mathematical problems
- >
- Computational problems
- >
- P-complete problems

- Theory of computation
- >
- Computational complexity theory
- >
- Computational problems
- >
- P-complete problems

Horn-satisfiability

In formal logic, Horn-satisfiability, or HORNSAT, is the problem of deciding whether a given set of propositional Horn clauses is satisfiable or not. Horn-satisfiability and Horn clauses are named aft

Linear programming

Linear programming (LP), also called linear optimization, is a method to achieve the best outcome (such as maximum profit or lowest cost) in a mathematical model whose requirements are represented by

Semidefinite programming

Semidefinite programming (SDP) is a subfield of convex optimization concerned with the optimization of a linear objective function (a user-specified function that the user wants to minimize or maximiz

© 2023 Useful Links.