Testing satisfiability
- 作者Noga Alon; Asaf Shapira
- 卷第47卷
- 期第2期
- 印刷ISSN0196-6774
- 电子ISSN1090-2678
- 文件大小161.72KB
- 发表时间2003
- DOI10.1016/s0196-6774(03)00019-1
- 页码87-103
同作者推荐
On the Rabbinical Approximation of πBoaz Tsaban; David Garber · 1998
The combinatorics of splittabilityBoaz Tsaban · 2004
The combinatorics of τ-coversHeike Mildenberger; Saharon Shelah; Boaz Tsaban · Topology and its Applications · 2007
On productively Lindelöf spacesFranklin D. Tall; Boaz Tsaban · 2011
The combinatorics of Borel coversMarion Scheepers; Boaz Tsaban · Topology and its Applications · 2002
Continuous selections and σ-spacesDušan Repovš; Boaz Tsaban; Lyubomyr Zdomskyy · 2008
Guaranteeing the Diversity of Number GeneratorsAdi Shamir; Boaz Tsaban · 2001
PrefaceDi Maio, Giuseppe; Tsaban, Boaz · Topology and its Applications · 2013