You are viewing a single comment's thread from:
RE: The SMT Oracles whitepaper.. [call for academics, modelers and deep thinkers]
This look big but I think a simple test like how to confirm a real world event is needed. Do we have such technology available?