Login / Signup
Continuous-Time Systems for Solving 0-1 Integer Linear Programming Feasibility Problems.
Chengrui Li
Bruce J. MacLennan
Published in:
CoRR (2019)
Keyphrases
</>
integer linear programming
pseudo boolean
boolean optimization
column generation
bicriteria
optimal solution
dynamical systems
combinatorial optimization
quadratic programming
integer program
sat solving
genetic algorithm
np complete
markov decision processes
cutting plane
boolean satisfiability