On Tue, Sep 10, 2019 at 5:40 PM Jose Mario Quintana <[email protected]> wrote: > Recall, according to the paper, one only needs to place simultaneously two > OCO-3 orders (apart from other assumptions not necessarily related to OCO > orders) to program a market and test its 3-SAT problem-solving abilities. > The evidence supporting your initial claim would show that there are > existing regulations prohibiting the implementation by brokers of two > simultaneous OCO-3 orders and cover all the markets at all times which > would prevent one to program even a single market and run the program even > only once to *supposedly* resolve the mathematical conjecture once and for > all.
Significant SAT-3 problems involve more than clause. Thanks, -- Raul ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
