Leszek Pacholski is an author at Polish Academy of Sciences specializing in automated reasoning, formal methods, and engineering.
Top concepts
EngineeringFormal MethodsComputer ScienceProof ComplexityAutomated ReasoningSatisfiabilityCircuit ComplexityFormal VerificationArtificial IntelligenceComputational Complexity
Publications per year
1992–2000
2
2
Rows per page
1–2 of 2