@misc{JoseT.deSousa__2001,
author = "Jos{\'e} T. de Sousa and Miron Abramovici and Daniel Saab",
title = "{A} Massively-Parallel Easily-Scalable Satisfiability Solver Using Reconfigurable Hardware",
number = 6292916,
howpublished = "International Patent",
note = "issued at U.S. Patent",
year = 2001,
BibTexOrigem = "1212 www.Inesc-ID.pt 2023-06-07"
}
You may copy/past the above, or you may click here to export it
This is a recent BibTex adaptation in test which probably do not cover all the conversions needed