Exact DFA Identification Using SAT Solvers

MJH Heule, SE Verwer

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

72 Citations (Scopus)
Original languageEnglish
Title of host publicationGrammatical Inference: Theoretical Results and Applications 10th International Colloquium, ICGI 2010
EditorsJM Sempere, P García
Place of PublicationBerlin
PublisherSpringer
Pages66-79
Number of pages14
ISBN (Print)978-3-642-15488
Publication statusPublished - 2010
Event10th International Colloquium on Grammatical Inference, ICGI 2010 - Berlin
Duration: 13 Sept 201016 Sept 2010

Publication series

Name
PublisherSpringer
NameLecture Notes in Computer Science
Volume6339
ISSN (Print)0302-9743

Conference

Conference10th International Colloquium on Grammatical Inference, ICGI 2010
Period13/09/1016/09/10

Keywords

  • CWTS JFIS < 0.75

Cite this