Search for persons
X
?
Lecture Notes in Computer Science; Pattern Recognition ,
1
A Method for Counting Models on Cubic Boolean Formulas:
, In:
?
Advances in Soft Computing; Lecture Notes in Computer Science ,
2
A Linear Time Algorithm for Counting #2SAT on Series-Parall..:
, In:
?
Cellular Origin, Life in Extreme Habitats and Astrobiology; Seaweeds and their Role in Globally Changing Environments ,
3