ARTÍCULO
TITULO

The Efficiency of Resolution and Davis--Putnam Procedures

Paul Beame    
Richard Karp    
Toniann Pitassi    
Michael Saks    

Resumen

No disponible

 Artículos similares

       
 
Jintao Zhao, Wenlei Sun, Cheng Lu, Xuedong Zhang, Lixin Wang and Dajiang Wang    
Wire and cable are important industrial products involving the national economy and people?s livelihood, which are hailed as the ?blood vessel? and ?nerve? of the national economy, providing the basic guarantee for the normal operation of modern economy ... ver más
Revista: Applied Sciences

 
Romain Amyot, Noriyuki Kodera and Holger Flechsig    
Simulation of atomic force microscopy (AFM) computationally emulates experimental scanning of a biomolecular structure to produce topographic images that can be correlated with measured images. Its application to the enormous amount of available high-res... ver más
Revista: Algorithms

 
Dwaipayan Chakraborty and Subhashis Mallick    
Ocean-water temperature and salinity are two vital properties that are required for weather-, climate-, and marine biology-related research. These properties are usually measured using disposable instruments at sparse locations, typically from tens to hu... ver más

 
Chengyang Peng, Shaohua Jin, Gang Bian, Yang Cui and Meina Wang    
The scarcity and difficulty in acquiring Side-scan sonar target images limit the application of deep learning algorithms in Side-scan sonar target detection. At present, there are few amplification methods for Side-scan sonar images, and the amplificatio... ver más

 
Chenhong Yan, Shefeng Yan, Tianyi Yao, Yang Yu, Guang Pan, Lu Liu, Mou Wang and Jisheng Bai    
Ship-radiated noise classification is critical in ocean acoustics. Recently, the feature extraction method combined with time?frequency spectrograms and convolutional neural networks (CNNs) has effectively described the differences between various underw... ver más