115 reputation
9
bio website u-psud.fr
location Paris, France
age 49
visits member for 2 years, 10 months
seen Nov 1 '13 at 17:37

Professor of Statistics at University Paris 11


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