J. Berg

Computational Theory and Mathematics · with Demirovi'c · 2015–2019

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

Subfields

Whom J. Berg trusts overall

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

  1. Niklas Eén
  2. Nina Narodytska
  3. Fahiem Bacchus
  4. Niklas Sörensson
  5. Gilles Audemard
  6. Jessica Davies
  7. Armin Biere
  8. António Morgado
  9. Laurent Simon
  10. Federico Heras

Who trusts J. Berg overall

  1. Hao Hu
  2. Mohamed Siala

Papers from J. Berg's perspective

Ordered by how strongly the researchers J. Berg 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. Predicting Learnt Clauses Quality in Modern SAT Solvers
  3. Iterative and core-guided MaxSAT solving: A survey and assessment
  4. Effective Preprocessing in SAT Through Variable and Clause Elimination (International Conference on Theory and Applications of Satisfiability Testing)
  5. Translating Pseudo-Boolean Constraints into SAT (Journal on Satisfiability, Boolean Modeling and Computation)
  6. Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications
  7. Solving MAXSAT by Solving a Sequence of Simpler SAT Instances
  8. Efficient conflict driven learning in a Boolean satisfiability solver (IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281))
  9. On Solving the Partial MAX-SAT Problem (International Conference on Theory and Applications of Satisfiability Testing)
  10. Cardinality Networks and Their Applications

Their papers