نتایج جستجو برای: np
تعداد نتایج: 40375 فیلتر نتایج به سال:
Journal:
:Annual Meeting of the Berkeley Linguistics Society
2001
Journal:
:Discrete Applied Mathematics
1984
Journal:
:Quantum Information and Computation
2005
Journal:
:Lecture Notes in Computer Science
2022
We show that the satisfiability problem for quantifier-free theory of product structures with equicardinality relation is in NP. As an application, we extend combinatory array logic fragment to handle cardinality constraints. The resulting independent base element and index set theories.
Journal:
:Journal of Knot Theory and Its Ramifications
2020
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید