user avatar
user avatar
user avatar
Giorgio Camerani
  • Member for 11 years, 10 months
  • Last seen more than a month ago
98 votes
Accepted

Why is 2SAT in P?

31 votes

Algorithms from the Book.

18 votes

What papers should everyone read?

16 votes

What are the #P-complete subfamilies of #2-SAT?

15 votes

What papers should everyone read?

14 votes
Accepted

How efficient are DPLL-based SAT-solvers on satisfiable instances of PHP?

13 votes

Minimum Unsatisfiable 3-CNF Formulae

11 votes

Why is CNF used for SAT and not DNF?

10 votes

Surprising Results in Complexity (Not on the Complexity Blog List)

9 votes
Accepted

The ODD EVEN DELTA problem

7 votes

Open or Interactive Constraint Satisfaction

6 votes
Accepted

Determining Graph Hulls

6 votes

Is embedding a solution feasible for SAT?

6 votes

Restricted Monotone 3CNF formula: counting satisfying assignments (both modulo $2^n$ and modulo $2$)

6 votes

Why is CNF used for SAT and not DNF?

4 votes

What are the best current lower bounds on 3SAT?

4 votes

Network / Social network analysis visualization tools?

4 votes

Grid $k$-coloring without monochromatic rectangles

4 votes

What are some career options for someone with a computer scientist master degree?

2 votes

Relationship between symmetry and computational intractability?

2 votes

Where do I turn for help with research/publishing?

2 votes

Generating a point in a rational polytope $P \subseteq R^k$ given a point in $P^\epsilon$

1 vote

What is the recommended software for drawing data structures such as graphs and trees?

1 vote
Accepted

Bits required to encode difference between number of subgraphs with odd number of edges and number of subgraphs with even number of edges

1 vote

Hamiltonian cycle vs co-NP

1 vote

Monotone-2SAT and Vertex Cover

0 votes

$⊕P$-completeness of $⊕2SAT$

-2 votes

Are there analogous works to PPSZ algorithm for #P?