Andres Philipp Noetzli

1 Patent

• US118614092024

  Distributed Decomposition of String-automated Reasoning Using Predicates

  Amazon Technologies, Inc.

  0 cites