csTheoryBeginner's user avatar
csTheoryBeginner's user avatar
csTheoryBeginner's user avatar
csTheoryBeginner
  • Member for 6 years
  • Last seen more than a month ago
3 votes
1 answer
213 views

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

2 votes
1 answer
372 views

What does binary NP-Hard exactly mean?

2 votes
1 answer
240 views

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

1 vote
1 answer
60 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
197 views

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

1 vote
1 answer
373 views

Computing overlap of intervals in an integer programming framework

1 vote
1 answer
304 views

Counting solutions of a particular type in HORN SAT

0 votes
0 answers
146 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
134 views

Counting (enumerating) minimal solutions of a dual horn formula