The following pages link to SOCRATES (Q22042):
Displaying 9 items.
- Constraint satisfaction using constraint logic programming (Q1204868) (← links)
- Confidence intervals for expected coverage from a beta testability model (Q1205922) (← links)
- Automated design and simulation of computer system components (Q1280977) (← links)
- Propositional SAT Solving (Q3176367) (← links)
- Test Pattern Generation using Boolean Proof Engines (Q3631306) (← links)
- (Q4302499) (← links)
- (Q4344221) (← links)
- (Q4353922) (← links)
- Formal Methods for Hardware Verification (Q5899152) (← links)