SAT-Based Minimization of Deterministic $$\omega $$ -Automata
Work
Year: 2015
Type: book-chapter
Authors Souheib Baarir, Alexandre Duret-Lutz
Institutions Université Paris Nanterre, École Pour l'Informatique et les Techniques Avancées, Laboratoire de Recherches sur le Développement de l'Elevage
Cites: 13
Cited by: 7
Related to: 10
FWCI: 1.179
Citation percentile (by year/subfield): 85.3
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: closed