Search results - ORA - Oxford University Research Archive

1 - 5 of 5

1

Conference item

The complexity of Presburger arithmetic with power or powers

Benedikt, M, Chistikov, D, Mansutti, A
2023-07-05

2

Conference item

Geometric decision procedures and the VC dimension of linear arithmetic theories

Chistikov, D, Haase, C, Mansutti, A
2022-08-04

3

Conference item

Higher-order quantified boolean satisfiability

Chistikov, D, Haase, C, Hadizadeh, Z, et al.
2022-08-22

4

Conference item

Quantifier elimination for counting extensions of Presburger arithmetic

Chistikov, D, Haase, C, Mansutti, A
2022-03-29

5

Conference item

The Big-O problem for labelled Markov chains and weighted automata

Chistikov, D, Kiefer, S, Murawski, A, et al.
2020-08-26

TO TOP