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