Login / Signup
Proofs of conjectures on the competition between observable and unobservable servers.
Bara Kim
Jeongsim Kim
Yan Su
Chia-Li Wang
Published in:
Queueing Syst. Theory Appl. (2023)
Keyphrases
</>
theorem prover
theorem proving
data center
databases
formal proofs
international competition
formal proof
mathematical proofs
natural deduction
inference rules
first order logic
inductive inference
queue length
bayesian networks
equational theories
artificial intelligence
automated theorem provers
real time