The following pages link to (Q4529644):
Displaying 5 items.
- The propositional formula checker HeerHugo (Q1977753) (← links)
- Counting for satisfiability by inverting resolution (Q2386352) (← links)
- (Q4375765) (← links)
- Abstract Combinatorial Programs and Efficient Property Testers (Q5317165) (← links)
- Determination of the class of validity of logical formulas by directed exhaustive search (Q5942025) (← links)