Analyzing Context-Free Grammars Using an Incremental SAT Solver

Roland Axelsson, Keijo Heljanko, Martin Lange. Analyzing Context-Free Grammars Using an Incremental SAT Solver. In Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz, editors, Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations. Volume 5126 of Lecture Notes in Computer Science, pages 410-422, Springer, 2008. [doi]

Abstract

Abstract is missing.