Statistics
Publications
3
Citations
127
H-Index
3
Active since
2018
Affiliations
University of California System(Current)
Rafael Dutra is an author at University of California System specializing in computing, computer engineering, and constraint satisfaction.
Publications per year
2018–2023
3
3
Efficient sampling of SAT solutions for testing
Rafael Dutra, Kevin Laeufer, Jonathan Bachrach et al. · 2018 · 103 citations · Full text
Rafael Dutra, Jonathan Bachrach, Koushik Sen · 2018 · 14 citations · Full text
1–3 of 3