Search - Descriptional Complexity of Formal Systems Access content directly

Filter your results

1 Array
Keywords : Deterministic finite automaton
Image document

On the Decidability of Finding a Positive ILP-Instance in a Regular Set of ILP-Instances

Petra Wolf
21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.272-284, ⟨10.1007/978-3-030-23247-4_21⟩
Conference papers hal-02387299v1