cardinality-constraints

There are 0 repository under cardinality-constraints topic.

vardigroup / FourierSAT
A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
cardinality-constraints hybrid-boolean-constraints xor
Language:Python 11
jaydu1 / SparsePortfolio
High Dimensional Portfolio Selection with Cardinality Constraints
portfolio-optimization high-dimensional-statistics cardinality-constraints l1-regularization
Language:Python 5
ais-climber / syllogistic-sizes
🎊 Repo for code related to a syllogistic logic of 'all', 'at least', and 'more than'. Includes code for model construction and use of prover9 to explore the proof rules of the system.
syllogistic-logic syllogism model-building prover9 cardinality-constraints
Language:C 0
phil85 / MPFCC-Algorithm
A model-based algorithm for the fair-capacitated clustering problem
fairness cardinality-constraints clustering integer-programming k-means fair-capacitated-clustering
Language:Python

vardigroup / FourierSAT