Author:
Publication: Artificial Intelligence
Construction of system of spheres-based transitively relational partial meet multiple contractions:
Solving QBF with counterexample guided refinement