Re: testing glpk 4.62 on a 64-bit platform

Andrew Makhorin <[email protected]> Thu, 25 May 2017 08:29:06 +0300

Newsgroups	gmane.comp.gnu.glpk
Message-ID	<1495690146.3784.31.camel@corvax>

> 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.

lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.