# On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width

> Research article (EPiC series in computing, 2018) · cited 23× · AI/ML

**Wikidata**: [openalex:W570508782](https://www.wikidata.org/wiki/openalex:W570508782)  
**Source**: https://4ort.xyz/entity/on-the-complexity-of-fixed-size-bit-vector-logics-with-binary-encoded-bit-width