We also tried this solution to use only the second level of nodes.
But has anybody received a confirmation from SAT that it will be accepted in this form?
We also tried this solution to use only the second level of nodes.
But has anybody received a confirmation from SAT that it will be accepted in this form?