Carsten Sinz

2005

A researcher in the Science corpus: 1 paper; trusts 0 researchers and is trusted by 18 researchers here, as inferred from the citation graph.

Who trusts Carsten Sinz overall

1. Mark H. Liffiton
2. Niklas Eén
3. Alexey Ignatiev
4. Nina Narodytska
5. Abdelhamid Boudane
6. Niklas Sörensson
7. Karem A. Sakallah
8. Jinqiang Yu
9. Saïd Jabbour
10. António Morgado

Papers from Carsten Sinz's perspective

Ordered by how strongly the researchers Carsten Sinz trusts endorse each paper. Same corpus, a different order for every researcher.

1. A Structure-Preserving Clause Form Translation
2. On the Complexity of Derivation in Propositional Calculus
3. Efficient CNF Encoding of Boolean Cardinality Constraints
4. Cha : Engineering an e cient SAT solver (Design Automation Conference)

Their papers

• Towards an Optimal CNF Encoding of Boolean Cardinality Constraints (2005) — 577 citations