Keywords:
Satisfiability Computer science Computation Focus (optics) Theoretical computer science Symbolic computation Discrete mathematics Algebra over a field Algorithm Mathematics Pure mathematics Physics

Metrics

37
Cited By
13.13
FWCI (Field Weighted Citation Impact)
63
Refs
0.99
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Formal Methods in Verification
Physical Sciences →  Computer Science →  Computational Theory and Mathematics
Logic, programming, and type systems
Physical Sciences →  Computer Science →  Artificial Intelligence
Polynomial and algebraic computation
Physical Sciences →  Computer Science →  Computational Theory and Mathematics
© 2026 ScienceGate Book Chapters — All rights reserved.