1
Publications
62
Citations
1
H-Index
2000
Active since
WiesL aw Szwast is an author specializing in computer science, circuit complexity, and formal methods.
Top concepts
EngineeringFormal MethodsSatisfiabilityComputer ScienceProof ComplexityCircuit ComplexityAutomated ReasoningArtificial IntelligenceComputational Complexity
Publications per year
2000–2000
1
1
Rows per page
1–1 of 1