Topic: "cardinality-constraints"
vardigroup/FourierSAT
A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
Language: Python - Size: 10.6 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 11 - Forks: 0
jaydu1/SparsePortfolio
High Dimensional Portfolio Selection with Cardinality Constraints
Language: Python - Size: 4.21 MB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 5 - Forks: 3
mirkovicdev/Cardinality-Constrained-Portfolio-Optimization
> A research-style project that solves the mean-variance portfolio optimization problem with a cardinality constraint using integer programming. This model captures the real-world need to limit the number of assets in a portfolio, introducing combinatorial complexity and paving the way for quantum-inspired methods.
Language: Jupyter Notebook - Size: 12.7 KB - Last synced at: about 17 hours ago - Pushed at: about 18 hours ago - Stars: 1 - Forks: 0
phil85/MPFCC-Algorithm
A model-based algorithm for the fair-capacitated clustering problem
Language: Python - Size: 6.84 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
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.
Language: C - Size: 12.2 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
