Word Equations with Length Constraints: What's Decidable?

Vijay Ganesh Mia Minnes Armando Solar-Lezama Martin C. Rinard

Published in: Haifa Verification Conference (2012)

Keyphrases

co occurrence
n gram
mathematical model
numerical solution
word recognition
knowledge representation
linear programming
differential equations
linear constraints
related words