Concepedia

Hsuan-Po Lin

HL

Statistics

Publications

3

Citations

78

H-Index

3

Active since

2008

Affiliations

National Taiwan University(Current)

Hsuan-Po Lin is an author at National Taiwan University specializing in formal verification, engineering, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationComputer EngineeringComputer ArchitectureKnowledge CompilationComputational ComplexitySatisfiability

Publications per year

2008–2009

3

Publications

3

Interpolating functions from large Boolean relations

Jie-Hong R. Jiang, Hsuan-Po Lin, Wei-Lun Hung · 2009 · 47 citations

Circuit Complexity, Engineering, Boolean Function +20

To SAT or not to SAT: Ashenhurst decomposition in a large scale

Hsuan-Po Lin, Jie-Hong R. Jiang, Ruei-Rung Lee · International Conference on Computer Aided Design · 2008 · 21 citations

Computational Complexity Theory, Engineering, Computer Architecture +21

To SAT or not to SAT: Ashenhurst decomposition in a large scale

Hsuan-Po Lin, Jie-Hong R. Jiang, Ruei-Rung Lee · 2008 · 10 citations

Computational Complexity Theory, Engineering, Computer Architecture +21

1–3 of 3