The following pages link to (Q4131061):
Displayed 4 items.
- Tautology testing with a generalized matrix reduction method (Q1132862) (← links)
- A new lower bound on approximability of the ground state problem for tridimensional Ising spin glasses (Q1275602) (← links)
- Two systems for proving tautologies, based on the split method (Q1838470) (← links)
- (Q3951539) (← links)