The following pages link to (Q2754079):
Displaying 6 items.
- Quantifier elimination by dependency sequents (Q479823) (← links)
- Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors. (Q1426130) (← links)
- Formal verification based on Boolean expression diagrams (Q1954165) (← links)
- The possibilistic Horn non-clausal knowledge bases (Q2105624) (← links)
- Formal methods for reasoning and uncertainty reduction in evidential grid maps (Q2407931) (← links)
- Transformations into Normal Forms for Quantified Circuits (Q3007687) (← links)