Personal Blog
1 comments, sorted by Click to highlight new comments since: Today at 7:55 AM
New Comment

Running the traders on some r or might also be useful if we want a logical inductor that try to decide a particular statement rather than try to decide all statements at the same time. If you want to decide you could first run the traders on and later run the traders on with a probability proportional to 's influence on . But I think it would be difficult to prove formally that such an approach would improve the inductors speed at deciding , and I don't know if it would work in practice.