Integer Feasibility and Refutations in UTVPI Constraints Using Bit-Scaling

Document Details

Document Type: Pub Defense Publication
Publication Date: Oct 11, 2022
Source ID: 10.1007/s00453-022-01048-1

Entities

People

K. Subramani
Piotr Wojciechowski

Organizations

Air Force Office of Scientific Research