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