> I have a question: suppose the same problem can be formulated as both > a SAT or a 0-1 integer program. Which can be solved faster in general? >
Impossible to say--it essentially depends on particular properties of the instance. _______________________________________________ Help-glpk mailing list [email protected] https://lists.gnu.org/mailman/listinfo/help-glpk
