Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: 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: 9 months ago - Pushed at: 9 months ago - Stars: 11 - Forks: 0

jaydu1/SparsePortfolio

High Dimensional Portfolio Selection with Cardinality Constraints

Language: Python - Size: 4.21 MB - Last synced at: 12 days ago - Pushed at: over 2 years ago - Stars: 5 - Forks: 3

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

phil85/MPFCC-Algorithm

A model-based algorithm for the fair-capacitated clustering problem

Language: Python - Size: 6.84 KB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

Related Keywords
cardinality-constraints 4 hybrid-boolean-constraints 1 xor 1 high-dimensional-statistics 1 l1-regularization 1 portfolio-optimization 1 model-building 1 prover9 1 syllogism 1 syllogistic-logic 1 clustering 1 fair-capacitated-clustering 1 fairness 1 integer-programming 1 k-means 1