My favorites | Sign in
Project Home Wiki Issues Source
READ-ONLY: This project has been archived. For more information see this post.
Search
for
  Advanced search   Search tips   Subscriptions
Issue 32: Fraction statisfiability speedups
  Back to list
 
Project Member Reported by kevin.bi...@gmail.com, Sep 23, 2008
- Better elimination order, 

- separate solving of unrelated subproblems, 

- use gaussian elimination first

Dec 3, 2008
Project Member #1 kevin.bi...@gmail.com
Deterministic and (I think) pretty good elimination order with r177
Status: Started

Powered by Google Project Hosting