Edit Profile (opens in new tab) Davis, Amanda Author ID: davis.amanda Published as: Davis, Amanda Documents Indexed: 1 Publication since 2019 Co-Authors 0 single-authored Serials 1 Advances in Applied Clifford Algebras Fields 1 Combinatorics (05-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Computer science (68-XX) Publications by Year Citations contained in zbMATH Open 1 Publications have been cited 4 times in 4 Documents Cited by ▼ Year ▼ Zeon and idem-Clifford formulations of Boolean satisfiability. Zbl 1456.68123Davis, Amanda; Staples, G. Stacey 4 2019 Zeon and idem-Clifford formulations of Boolean satisfiability. Zbl 1456.68123Davis, Amanda; Staples, G. Stacey 4 2019 Cited by 5 Authors 1 Breuils, Stéphane 1 Ewing, Samuel 1 Hitzer, Eckhard 1 Stacey Staples, G. 1 Tachibana, Kanta Cited in 1 Serial 4 Advances in Applied Clifford Algebras all top 5 Cited in 8 Fields 4 Linear and multilinear algebra; matrix theory (15-XX) 3 Combinatorics (05-XX) 2 Quantum theory (81-XX) 1 Number theory (11-XX) 1 Commutative algebra (13-XX) 1 Computer science (68-XX) 1 Mechanics of particles and systems (70-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year