1. Ben Slimane, J., Schott, R., Song, Y.-Q., Staples, G.S., Tsiontsiou, E.: Operator calculus algorithms for multi-constrained paths. Int. J. Math. Comput. Sci. 10, 69–104 (2015).
http://ijmcs.future-in-tech.net/10.1/R-Jamila.pdf
2. Biere, A., Biere, A., Heule, M., van Maaren, H., Walsh, T.: Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications. IOS Press, Amsterdam (2009). ISBN:9781586039295
3. Budinich, M., Budinich, P.: A spinorial formulation of the maximum clique problem of a graph. J. Math. Phys. 47, 043502 (2006)
4. Budinich, M.: The Boolean satisfiability problem in Clifford algebra. Theoretical Computer Science. In press. (2019)
https://doi.org/10.1016/j.tcs.2019.03.027
5. Cassiday, C., Staples, G.S.: On representations of semigroups having hypercube-lik Cayley graphs. Clifford Anal. Clifford Algebras Appl. 4, 111–130 (2015)