José A. R. Fonollosa

activity

20162023

most citedAutomatic Spanish Translation of the SQuAD Dataset for Multilingual Question Answering

42 citations · 92 across the 16 of their papers we have counts for

collaborators

Showing cs.DSShow all

2 papers · 1 filter

cs.DS2018

SAT encodings for sorting networks, single-exception sorting networks and $ε -$ halvers

José A. R. Fonollosa

Sorting networks are oblivious sorting algorithms with many practical applications and rich theoretical properties. Propositional encodings of sorting networks are a key tool for p…

cs.DS2018★ 2 cited

Joint Size and Depth Optimization of Sorting Networks

José A. R. Fonollosa

Sorting networks are oblivious sorting algorithms with many interesting theoretical properties and practical applications. One of the related classical challenges is the search of…

SAT encodings for sorting networks, single-exception sorting networks and ε−halvers

Joint Size and Depth Optimization of Sorting Networks

SAT encodings for sorting networks, single-exception sorting networks and $ε -$ halvers