Satisfiability-Based Algorithms for 0-1 Integer Programming

Satisfiability-Based Algorithms for 0-1 Integer Programming. Manquinho, V., Marques-Silva, J., Oliveira, A., & Sakallah, K. A. In Proc. of the International Workshop on Logic Synthesis (IWLS), pages 25-34, Lake Tahoe, California, May, 1998.
bibtex

@inproceedings{manquinho1998satisfiability,
   author = {Manquinho, V. and Marques-Silva, {J\~oao} and Oliveira, A. and Sakallah, K. A.},
   title = {{Satisfiability-Based Algorithms for 0-1 Integer Programming}},
   booktitle = {Proc. of the International Workshop on Logic Synthesis (IWLS)},
   address = {Lake Tahoe, California},
   pages = {25-34},
   month = {May},
   year = {1998}

}

Downloads: 0