David Monniaux's user avatar
David Monniaux's user avatar
David Monniaux's user avatar
David Monniaux
  • Member for 11 years, 9 months
  • Last seen more than a week ago
0 votes
0 answers
87 views

Complexity of projected model counting

6 votes
1 answer
203 views

What is known about $\mathrm{NP}^{\mathrm{PP}[1]}$?

6 votes
1 answer
143 views

Complexity of maximizing the number of models in a parametric formula

7 votes
1 answer
349 views

Reaching the double exponential upper bound in Fourier-Motzkin elimination

8 votes
0 answers
161 views

Practical interactive proof schemes for NP-hard problems

13 votes
1 answer
732 views

Complexity of the problem of words with fewest distinct letters accepted by a finite automaton

9 votes
0 answers
125 views

Complexity of checking the equivalence of constraints and generator descriptions of convex polyhedra

8 votes
1 answer
202 views

Decidability of inductive invariant existence in Presburger arithmetic

14 votes
3 answers
1k views

Proof of undecidability not by reduction from the halting problem

6 votes
4 answers
454 views

Simplification of Presburger formulas in practice

10 votes
1 answer
281 views

Algorithms on graphs represented using BDDs