The Maple handbook (Maple V release 3)

Authors:
Darren Redfern
Affiliations:
Practical Approach, Stratford, Ont., Canada
Venue:
The Maple handbook (Maple V release 3)
Year:
1994

Citing 0
Cited 3

Setting 2 variables at a time yields a new lower bound for random 3-SAT (extended abstract)

STOC '00 Proceedings of the thirty-second annual ACM symposium on Theory of computing
Shortest Single Axioms for the Equivalential Calculus with CD and RCD

Journal of Automated Reasoning
On the maximum satisfiability of random formulas

Journal of the ACM (JACM)

Quantified Score

Hi-index	0.00

Visualization

Abstract