csTheoryBeginner's user avatar
csTheoryBeginner's user avatar
csTheoryBeginner's user avatar
csTheoryBeginner
  • Member for 5 years, 10 months
  • Last seen more than a week ago
3 votes
1 answer
212 views

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

2 votes
1 answer
358 views

What does binary NP-Hard exactly mean?

2 votes
1 answer
239 views

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

1 vote
1 answer
59 views

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

1 vote
0 answers
24 views

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

1 vote
1 answer
196 views

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

1 vote
1 answer
351 views

Computing overlap of intervals in an integer programming framework

1 vote
1 answer
293 views

Counting solutions of a particular type in HORN SAT

0 votes
0 answers
137 views

Multi agent graph traversal with edge discovery

0 votes
1 answer
48 views

Which combinatorial problem is reminiscent to mine?

-1 votes
1 answer
128 views

Counting (enumerating) minimal solutions of a dual horn formula