Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,737,661 papers from all fields of science
Search
Sign In
Create Free Account
(SAT, ε-UNSAT)
Known as:
(SAT, E-UNSAT)
In computational complexity theory, (SAT, ε-UNSAT) is a language that is used in the proof of the PCP theorem, which relates the language NP to…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
Clause (logic)
Computational complexity theory
Conjunctive normal form
MAX-3SAT
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
The Effects Of Climate, Soil, And Vegetation On The Design Of Water Balance Covers For Solid Waste Landfills In Texas
S. Baig
2012
Corpus ID: 130538231
2011
2011
非饱和带溶质运移模拟软件（WHI UnSat Suite）简介
丁素玲
2011
Corpus ID: 195635046
非饱和带是研究地下水必须关注的领域,污染物在包气带中的迁移转化过程直接影响着其对自然界整体环境的表观作用,对这一过程的数值模拟研究在污染物系统分析中起到了不可替代的作用。国外应用较多的一个非饱和带水流和溶质运移模拟软件是WHI UnSat Suite…
Expand
2006
2006
Cooperative BoundedModelChecking UsingSTEandHybridThree-Valued SAT Solving*
Shujun Deng
,
Jinian Bian
2006
Corpus ID: 62456964
Thispaperpresents a cooperative bounded model checking (BMC)method forRTLdesigns. Themethod firstly extends theBoolean…
Expand
2005
2005
Performance of wireless networks with directional antennas.
Ping-Cheng Yeh
2005
Corpus ID: 195964312
To my parents, my wife Joanna and our baby Justin. ii ACKNOWLEDGEMENTS I would like to express my deepest gratitude to my advisor…
Expand
2005
2005
Automatic Outer Volume Suppression ( OVS ) Slice Placement for Proton-Echo-Planar-Spectroscopic-Imaging ( PEPSI )
T. Li
,
M. Martínez‐Ramón
,
G. Heileman
,
S. Posse
2005
Corpus ID: 14069018
T. Li, M. Martinez-Ramon, G. Heileman, S. Posse MIND Institute, Albuquerque, NM, United States, University of New Mexico…
Expand
2002
2002
Marketing nas ondas da rádio : o composto mercadológico para a rede Itapema SAT
A. Santos
2002
Corpus ID: 168198917
2000
2000
Perancangan produksi dan pengendalian persediaan di UD. Kompas
Yadi Budiono
2000
Corpus ID: 187386611
U.D. Kompas adalah sebuah perusahaan yang bergeruk dalam bidang industri makanan. Perusahaan melihat sat ini merupakan saat yang…
Expand
1999
1999
Determining the Performance of an Arid Zone Radioactive Waste Site Through Site Characterization, Modeling, and Monitoring
B. Dozier
,
D. Levitt
,
M. Sully
,
Lohrstorfer
1999
Corpus ID: 131282610
A strategy of site characterization, modeling, and monitoring are used to evaluate the performance of an interim cover at a low…
Expand
1989
1989
UNSAT-HV2.0. Water and Heat Balance Model for Predicting Drainage Below the Plant Root Zone
M. Fayer
,
T. Jones
1989
Corpus ID: 126551458
UNSAT-H Version 2.0 is a one-dimensional model that simulates the dynamic processes of infiltration, drainage, redistribution…
Expand