Reputation
Next privilege 125 Rep.
Vote down
Badges
9
Newest
 Promoter
Impact
~212 people reached

  • 0 posts edited
  • 0 helpful flags
  • 24 votes cast
Feb
28
accepted Reduction over Exactly $m$ models
Feb
28
awarded  Promoter
Feb
28
awarded  Informed
Feb
26
awarded  Editor
Jan
27
awarded  Supporter
Jan
2
comment Reduction over Exactly $m$ models
Tks for your answer. Let me reformulate the question : consider $m_1$ and $m_2$ as parameters, is it possible to solve Exactly $\{m_1,m_2\}$-SAT in polynomial time with a single call to Exactly $m_2$-SAT ?
Dec
1
awarded  Tumbleweed
Nov
26
awarded  Analytical
Nov
24
asked Reduction over Exactly $m$ models
Nov
14
awarded  Scholar
Nov
14
accepted Reduction over intersection of languages
Nov
7
awarded  Student
Oct
7
comment Reduction over intersection of languages
I see, thank you.
Oct
7
comment Reduction over intersection of languages
Right, I should have precised : in case of non-empty intersections.
Oct
7
asked Reduction over intersection of languages
Oct
7
awarded  Autobiographer