Submission to model counting competition 2021, unweighted and weighted tracks by Tuukka Korhonen and Matti Järvisalo (University of Helsinki). SharpSAT-TD is based on SharpSAT, with the main new features being the use of tree decompositions in decision heuristics, new preprocessor, and directly supporting weighted model counting. https://github.com/Laakeri/sharpsat-t
Model weights for the algorithm trained using TiGER challenge dataset for TILs-scoring in breast can...
Evaluation of scientific contributions can be done in many different ways. For the various research ...
The Mikado approach is the winner algorithm of the final phase of the TrackML particle reconstructio...
The dataset contains the submissions that have been evaluated in the Model Counting Competition 2020...
Benchmarks used for the paper Johannes K. Fichte, Markus Hecher, Stefan Woltran, Markus Hecher: Wei...
Instances for the Model Counting Competition 2020 - Track 1 (Model Counting) - Track 2 (Weighted Mo...
The results of our paper "Weighted Model Counting with Twin-Width" published at SAT 202
BraTS 2020 winning submission (segmentation task). Paper here: https://arxiv.org/abs/2011.00848 Se...
<p>Our submission applying the embedded segmental k-means model to the ZeroSpeech2017 challenge trac...
The recent surge of interest in reasoning about probabilistic graphical models has led to the de-vel...
The dataset contains all instances that the organizers of the competition received or collected duri...
Abstract. We introduce sharpSAT, a new #SAT solver that is based on the well known DPLL algorithm an...
This repository contains the pre-trained model weights for the TensorFlow/Keras models used in the W...
The model I submitted in the 2021 ISMIR MSS Challenge with 2nd performance on the vocal score and 5t...
Evaluation of scientific contributions can be done in many different ways. For the various research ...
Model weights for the algorithm trained using TiGER challenge dataset for TILs-scoring in breast can...
Evaluation of scientific contributions can be done in many different ways. For the various research ...
The Mikado approach is the winner algorithm of the final phase of the TrackML particle reconstructio...
The dataset contains the submissions that have been evaluated in the Model Counting Competition 2020...
Benchmarks used for the paper Johannes K. Fichte, Markus Hecher, Stefan Woltran, Markus Hecher: Wei...
Instances for the Model Counting Competition 2020 - Track 1 (Model Counting) - Track 2 (Weighted Mo...
The results of our paper "Weighted Model Counting with Twin-Width" published at SAT 202
BraTS 2020 winning submission (segmentation task). Paper here: https://arxiv.org/abs/2011.00848 Se...
<p>Our submission applying the embedded segmental k-means model to the ZeroSpeech2017 challenge trac...
The recent surge of interest in reasoning about probabilistic graphical models has led to the de-vel...
The dataset contains all instances that the organizers of the competition received or collected duri...
Abstract. We introduce sharpSAT, a new #SAT solver that is based on the well known DPLL algorithm an...
This repository contains the pre-trained model weights for the TensorFlow/Keras models used in the W...
The model I submitted in the 2021 ISMIR MSS Challenge with 2nd performance on the vocal score and 5t...
Evaluation of scientific contributions can be done in many different ways. For the various research ...
Model weights for the algorithm trained using TiGER challenge dataset for TILs-scoring in breast can...
Evaluation of scientific contributions can be done in many different ways. For the various research ...
The Mikado approach is the winner algorithm of the final phase of the TrackML particle reconstructio...
DOI
Add to ORKG