Homing Sequence Derivation With Quantified Boolean Satisfiability Academic Article

authors

publication date

February 10, 2021

published in

IEEE Transactions on Computers Journal

Digital Object Identifier (DOI)

https://doi.org/10.1109/tc.2021.3058302

has global citation frequency

https://vivo.tib.eu/demo/individual/gcf_W3127574913 Global Citation Count

start page

696

end page

711

volume

71

issue

3