Influence of thyroid-stimulating hormone levels on uptake of FDG in recurrent and metastatic differentiated thyroid carcinoma

F Moog, R Linke, N Manthey, R Tiling… - Journal of Nuclear …, 2000 - Soc Nuclear Med
The objective of this prospective study was to determine the extent to which the levels of
thyroid-stimulating hormone (TSH) influence the uptake of FDG by thyroid carcinoma tumors …

[PDF][PDF] Improving SAT solvers using state-of-the-art techniques

N Manthey - 2010 - iccl.inf.tu-dresden.de
This work discusses modern techniques of state-of-the-art SAT solvers. Since most techniques
are published without regard to the effect to recent techniques of other developers, this …

[PDF][PDF] Parallel SAT solving-using more cores

N Manthey - Pragmatics of SAT (POS'11), 2011 - iccl.inf.tu-dresden.de
A parallelization approach for SAT solving is presented. Common parallel portfolio approaches
seem to stagnate at four parallel solvers and cannot compete with the growing number of …

[PDF][PDF] Open-wbo@ maxsat evaluation 2020

R Martins, N Manthey, M Terra-Neves… - MaxSAT …, 2021 - helda.helsinki.fi
… We would also like to thank Niklas Eén and Niklas Sörensson for the development of MINISAT
2.2. Additionally, we would like to thank all the collaborators on previous versions of OPEN…

[PDF][PDF] In search of the 'Utopian mode'. Narrowing the term. Exploring the capabilities of a political narrative

H Manthey, J Rohgalf - 10th International Conference of the Utopian …, 2009 - Citeseer
The use of the term “utopia” hardly ever circumvents a political connotation. However, this
paper will neither deal with the defence or the necessity of utopia, nor will it try to render utopia …

[PDF][PDF] Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers.

M Heule, N Manthey, T Philipp - POS@ SAT, 2014 - cs.cmu.edu
As satisfiability (SAT) solver performance has improved, so has their complexity, which make
it more likely that SAT solvers contain bugs. One important source of increased complexity …

[PDF][PDF] Memory Hierarchy Utilization of a SAT Solver

N Manthey, DIJ Stecklina - 2010 - os.inf.tu-dresden.de
The importance of Satisfiability Testing (SAT) increased in recent years. The development of
SAT solvers made them a powerful tool for solving problems of various fields very fast. …

[PDF][PDF] Quadratic direct encoding vs. linear order encoding, a one-out-of-n transformation on cnf

N Manthey, P Steinke - … of the First International Workshop on …, 2011 - iccl.inf.tu-dresden.de
The translation from finite CSPs into SAT has been studied intensively. Common encodings
for variable domains are the compact, direct and order encoding. The direct encoding needs …

[PDF][PDF] LEAVE A TRACE–APeople TRACKING SYSTEM MEETS ANOMALY DETECTION

KA DominikRueß, N Deckers, M Adduci, K Manthey… - kostasamplianitis.com
Video surveillance always had a negative connotation, among others because of the loss of
privacy and because it may not automatically increase public safety. If it was able to detect …

[PDF][PDF] PBLib—A C++ Toolkit for Encoding Pseudo–Boolean Constraints into CNF

P Steinke, N Manthey - TU Dresden, Dresden, Germany …, 2014 - ddll.inf.tu-dresden.de
Many different encodings for PB constraints into conjunctive normal form (CNF) have been
proposed in the past. The PBLib project starts to collect and implement these encodings to be …