| Original language | English |
|---|---|
| Title of host publication | The 35th International Colloquium on Automata, Languages, and Programming (ICALP'08), Part II |
| Editors | Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz |
| Place of Publication | Reykjavik |
| Pages | 410-422 |
| Publication status | Published - 2008 |
| MoE publication type | A4 Article in a conference publication |
Analyzing Context-Free Grammars Using an Incremental SAT Solver
Roland Axelsson, Keijo Heljanko, Martin Lange
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
28
Citations
(Scopus)