Zeon and idem-Clifford formulations of Boolean satisfiability

DOI10.1007/S00006-019-0978-8MaRDI QIDQ2274729zbMATH OpenOpenAlexWikidataFDO

Authors Yanyan Li

Publication date 1 October 2019

Published in Advances in Applied Clifford Algebras (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00006-019-0978-8

zbMATH Keywords

Boolean algebracliquessatisfiabilityzeons

Mathematics Subject Classification ID

Vertex subsets with special properties (dominating sets, independent sets, cliques, etc.) (05C69) Applications of Clifford algebras to physics, etc. (15A67) Computational aspects of satisfiability (68R07) Symbolic computation and algebraic computation (68W30)

Recommendations

• The Boolean satisfiability problem in Clifford algebra
• scientific article; zbMATH DE number 1630006
• scientific article; zbMATH DE number 1903342
• scientific article; zbMATH DE number 2090309
• Complete Boolean satisfiability solving algorithms based on local search

Cites work

• A new adjacency matrix for finite graphs
• A spinorial formulation of the maximum clique problem of a graph
• scientific article; zbMATH DE number 5493266 (Why is no real title available?)
• Nilpotent adjacency matrices and random graphs.
• Operator calculus algorithms for multi-constrained paths
• Operator calculus on graphs. Theory and applications in computer science
• Reducibility among combinatorial problems
• Spinorial formulations of graph problems
• The Boolean satisfiability problem in Clifford algebra
• The complexity of theorem-proving procedures
• Zeons, orthozeons, and graph colorings

Cited in

(6)

• Zeon matrix inverses and the zeon combinatorial Laplacian
• Zeon and idem-Clifford formulations of hypergraph problems
• New applications of Clifford's geometric algebra
• Spectrally simple zeros of zeon polynomials
• The Boolean satisfiability problem in Clifford algebra
• scientific article; zbMATH DE number 1630006 (Why is no real title available?)

Describes a project that uses

Uses Software

• Mathematica
• CliffOC
• CliffSymNil
• CliffMath

This page was built for publication: Zeon and idem-Clifford formulations of Boolean satisfiability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2274729)