Skip to main content
csTheoryBeginner's user avatar
csTheoryBeginner's user avatar
csTheoryBeginner's user avatar
csTheoryBeginner
  • Member for 6 years, 7 months
  • Last seen this week
5 votes
0 answers
116 views

A variant of vertex labeling problem

3 votes
1 answer
222 views

If a CNF contains only Horn and Xor clauses, then what is the complexity of determining Satisfiability?

2 votes
1 answer
417 views

What does binary NP-Hard exactly mean?

2 votes
1 answer
49 views

Min sum vertex cover complexity proof

2 votes
1 answer
246 views

What is the complexity of determining Satisfiability of a CNF containing both Horn and Dual Horn clauses?

1 vote
1 answer
66 views

Upper bound on the average number of overlaps for an interval within a set of intervals

1 vote
0 answers
25 views

On the limitation of the "adversary" in randomization for online learning

1 vote
1 answer
200 views

Help needed for understanding proof of No Regret Multi Armed Bandit Algorithm

1 vote
1 answer
421 views

Computing overlap of intervals in an integer programming framework

1 vote
1 answer
339 views

Counting solutions of a particular type in HORN SAT

0 votes
0 answers
161 views

Multi agent graph traversal with edge discovery

0 votes
1 answer
61 views

Which combinatorial problem is reminiscent to mine?

-1 votes
1 answer
139 views

Counting (enumerating) minimal solutions of a dual horn formula