Picture for Florim Hamiti

Florim Hamiti

A Quantitative Symbolic Approach to Individual Human Reasoning

Add code
May 10, 2022
Figure 1 for A Quantitative Symbolic Approach to Individual Human Reasoning
Figure 2 for A Quantitative Symbolic Approach to Individual Human Reasoning
Viaarxiv icon

The Model Counting Competition 2020

Add code
Dec 02, 2020
Figure 1 for The Model Counting Competition 2020
Figure 2 for The Model Counting Competition 2020
Figure 3 for The Model Counting Competition 2020
Figure 4 for The Model Counting Competition 2020
Viaarxiv icon