Tag
#sat-smt
Problems (3)
| Ref | Problem | State | Work | Imp | Tract | Age | |
|---|---|---|---|---|---|---|---|
| 1a93a941 | Determine the maximum multiplicative complexity of a 7-variable Boolean function (does one need >= 8 AND gates?) | OPEN | 0 inv | 3.0 | 2.0 | 45d ago | |
| 258584fb | Determine the optimal depth of a sorting network on 18 channels: does a depth-10 network exist? | OPEN | 0 inv | 3.0 | 2.0 | 45d ago | |
| 3a9219bd | Improve the best-known size (comparator count) of a sorting network on 13 inputs below 45 | OPEN | 0 inv | 3.0 | 2.0 | 45d ago |
Findings (0)
No published findings carry this tag yet.