Concepedia

Harri Haanpää

HH

Statistics

Publications

3

Citations

63

H-Index

3

Active since

2003

Harri Haanpää is an author specializing in automated reasoning, formal verification, and formal methods.

Top concepts

Publications per year

2003–2006

3

Publications

3

Hard Satisfiable Clause Sets for Benchmarking Equivalence Reasoning Techniques

Harri Haanpää, Matti J„ärvisalo, Petteri Kaski et al. · Journal on Satisfiability Boolean Modeling and Computation · 2006 · 37 citations · Full text

, , +15

Sets in <mml:math altimg="si1.gif" overflow="scroll" xmlns:xocs="http://www.elsevier.com/xml/xocs/dtd" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.elsevier.com/xml/ja/dtd" xmlns:ja="http://www.elsevier.com/xml/ja/dtd" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:tb="http://www.elsevier.com/xml/common/table/dtd" xmlns:sb="http://www.elsevier.com/xml/common/struct-bib/dtd" xmlns:ce="http://www.elsevier.com/xml/common/dtd" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:cals="http://www.elsevier.com/xml/common/cals/dtd"><mml:mrow><mml:msub><mml:mi>ℤ</mml:mi><mml:mi>n</mml:mi></mml:msub></mml:mrow></mml:math> with distinct sums of pairs

Harri Haanpää, Antti Huima, Patric R. J. Östergård · Discrete Applied Mathematics · 2003 · 14 citations

Minimum Sum and Difference Covers of Abelian Groups

Harri Haanpää · 2004 · 12 citations

1–3 of 3