| Issue 32: | Fraction statisfiability speedups | |
| Back to list |
- Better elimination order, - separate solving of unrelated subproblems, - use gaussian elimination first
Dec 3, 2008
Project Member
#1
kevin.bi...@gmail.com
Status:
Started
|