Paul Saikko

Computational Theory and Mathematics · 2015

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

Subfields

• Computational Theory and Mathematics — 5 citations into it
• Computer Networks and Communications — 5 citations into it

Whom Paul Saikko trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Niklas Eén
2. Jessica Davies
3. Nina Narodytska
4. Fahiem Bacchus
5. António Morgado

Papers from Paul Saikko's perspective

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

1. An Extensible SAT-solver (International Conference on Theory and Applications of Satisfiability Testing)
2. Iterative and core-guided MaxSAT solving: A survey and assessment
3. Solving MAXSAT by Solving a Sequence of Simpler SAT Instances
4. Effective Preprocessing in SAT Through Variable and Clause Elimination (International Conference on Theory and Applications of Satisfiability Testing)
5. Maximum Satisfiability Using Core-Guided MaxSAT Resolution
6. On Solving the Partial MAX-SAT Problem (International Conference on Theory and Applications of Satisfiability Testing)
7. A Structure-Preserving Clause Form Translation
8. Efficient CNF Encoding of Boolean Cardinality Constraints
9. Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
10. On the Complexity of Derivation in Propositional Calculus

Their papers

• Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT (2015) — 16 citations