PolySAT: Word-level Bit-vector Reasoning in Z3.
Jakob RathClemens EisenhoferDaniela KaufmannNikolaj S. BjørnerLaura KovácsPublished in: CoRR (2024)
Keyphrases
- bit vector
- word level
- language independent
- document images
- n gram
- document analysis
- character recognition
- machine translation
- word recognition
- sentence level
- chinese text retrieval
- viterbi algorithm
- knowledge base
- knowledge representation
- word segmentation
- dynamic programming
- pattern recognition
- bayesian networks
- feature selection