US Patent Issued to Amazon Technologies on Aug. 11 for "Finding clifford circuit solutions using SMT solvers" (California Inventors)

ALEXANDRIA, Va., Aug. 12 -- United States Patent no. 12,705,515, issued on Aug. 11, was assigned to Amazon Technologies Inc. (Seattle).

"Finding clifford circuit solutions using SMT solvers" was invented by Noah John Shutty (Redwood City, Calif.) and Christopher Chamberland (Pasadena, Calif.).

According to the abstract* released by the U.S. Patent & Trademark Office: "A technique for deriving Clifford circuits using a Satisfiability Modulo Theories (SMT) solver via encoding a Clifford circuit design problem as an SMT decision problem is disclosed. Both symbolic bit matrix representations of elements of the Clifford circuit design problem and constraint equations for modeling the Clifford circuit are used to construct an encoded SMT solver...