David Monniaux

Member for 11 years, 6 months
Last seen more than a week ago

Summary

Reputation

1,122

1.1k
1k
912

2020
2021
2022
2023

Top tag

counting-complexity

Next privilege

2,000 Rep.

Edit posts

Badges

Newest

Self-Learner

Next badge

0/1

Informed

Questions

View all 11 questions

Score Activity Newest Views

Proof of undecidability not by reduction from the halting problem

Apr 3, 2014

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

Dec 19, 2017

Algorithms on graphs represented using BDDs

Jun 2, 2012

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

May 17, 2017

Decidability of inductive invariant existence in Presburger arithmetic

Apr 7, 2014

Answers

View all 7 answers

Score Activity Newest

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

Feb 22, 2022

Is feedback vertex set problem is solvable in polynomial time for some special graph

Jun 2, 2012

"Correctness" of type theory

Apr 5, 2014

Complexity of maximizing the number of models in a parametric formula

Feb 24, 2022

Small number of inequalities defining integer hull of integer programming problem

Apr 12, 2014

Reputation

This user has no recent positive reputation changes.

Badges

View all badges

This user doesn’t have any gold badges yet.

silver badges

Yearling

× 5

Feb 6, 2022

bronze badges

Self-Learner

Feb 23, 2022
Curious

May 18, 2017
Announcer

Jun 4, 2012

Accounts

View all 9 accounts

Stack Overflow

2,000
12
23

Theoretical Computer Science

1,122
5
16

TeX - LaTeX

Computer Science

Travel

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast

upvotes

downvotes

question votes

answer votes

User feed

Stack Exchange Network

Summary

Top tag

Next privilege

Newest

Next badge

Questions

Answers

Tags

Reputation

Badges

Accounts

Active bounties (0)

Votes cast