There are 0 repository under cardinality-constraints topic.
A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
High Dimensional Portfolio Selection with Cardinality Constraints
🎊 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.
A model-based algorithm for the fair-capacitated clustering problem