Computer Science - Theory and Applications - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

33
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642033506, 9783642033513
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

k-SAT Is No Harder Than Decision-Unique-k-SAT

2009 ◽  
pp. 59-70 ◽  
Author(s):  
Chris Calabro ◽  
Ramamohan Paturi

Formal Verification of Gate-Level Computer Systems

2009 ◽  
pp. 322-333 ◽  
Author(s):  
Mark Hillebrand ◽  
Sergey Tverdyshev
Keyword(s):  
Formal Verification ◽  
Computer Systems

Structural Complexity of AvgBPP

2009 ◽  
pp. 155-166 ◽  
Author(s):  
Dmitry Itsykson
Keyword(s):  
Structural Complexity

On Random Ordering Constraints

2009 ◽  
pp. 105-116 ◽  
Author(s):  
Andreas Goerdt
Keyword(s):  
Ordering Constraints

Well-Founded and Partial Stable Semantics Logical Aspects

2009 ◽  
pp. 1-11
Author(s):  
Pedro Cabalar ◽  
Sergei Odintsov ◽  
David Pearce
Keyword(s):  
Stable Semantics

scholarly journals Approximability Distance in the Space of H-Colourability Problems

2009 ◽  
pp. 92-104 ◽  
Author(s):  
Tommy Färnqvist ◽  
Peter Jonsson ◽  
Johan Thapper
Load More ...
Sign in / Sign up

Export Citation Format

Share Document