Login / Signup
Minimal Depth Distinguishing Formulas Without Until for Branching Bisimulation.
Jan Martens
Jan Friso Groote
Published in:
Logics and Type Systems in Theory and Practice (2024)
Keyphrases
</>
unsatisfiable cores
depth map
depth information
branch and bound
tree decompositions
case study
database
databases
neural network
website
depth images
real numbers
logical formulas
mathematical formulas
defocused images