Keyword:SMT encoding

Papers
Parse Condition: Symbolic Encoding of LL(1) Parsing Dhruv Singal, Palak Agarwal, Saket Jhunjhunwala and Subhajit Roy In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning