DocumentCode :
2221854
Title :
Satisfiability testing: recent developments and challenge problems
Author :
Selman, Bart
Author_Institution :
Cornell University
fYear :
2000
fDate :
2000
Firstpage :
178
Lastpage :
178
Keywords :
Application software; Computational complexity; Computer science; Distributed algorithms; Measurement standards; Particle measurements; Physics; Processor scheduling; Protocols; Software testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Logic in Computer Science, 2000. Proceedings. 15th Annual IEEE Symposium on
ISSN :
1043-6871
Print_ISBN :
0-7695-0725-5
Type :
conf
DOI :
10.1109/LICS.2000.855767
Filename :
855767
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2221854
بازگشت