Java based sat solverThis is a discussion on Java based sat solver within the Theory forums in Theory and Concepts category; Hi, this is my n-th try for a sat solver: http://tokisworld.org/sat/SATConverter.jar Solver 4 can solve the factorization problem for 5 bits, as well as these problems : http://www.cs.ubc.ca/~hoos/SATLIB/Be...at30-60.tar.gz http://www.cs.ubc.ca/~hoos/SATLIB/Be...t50-115.tar.gz at acceptable time/memory usage. Best Regards Thorsten... | ||||||||
| | ||||||||
| ||||||||
| Register | FAQ | Calendar | Search | Today's Posts | Mark Forums Read |
|
#1
08-02-2008, 09:39 AM
| |||
| |||
 Java based sat solver Hi, this is my n-th try for a sat solver: http://tokisworld.org/sat/SATConverter.jar Solver 4 can solve the factorization problem for 5 bits, as well as these problems : http://www.cs.ubc.ca/~hoos/SATLIB/Be...at30-60.tar.gz http://www.cs.ubc.ca/~hoos/SATLIB/Be...t50-115.tar.gz at acceptable time/memory usage. Best Regards Thorsten  |
 |
« Previous Thread
|
Next Thread »
| Thread Tools | |
| Display Modes | |
Linear Mode
All times are GMT -5. The time now is 03:50 AM.
