Login / Signup

Integer Feasibility and Refutations in UTVPI Constraints Using Bit-Scaling.

K. SubramaniPiotr J. Wojciechowski
Published in: Algorithmica (2023)
Keyphrases
  • linear constraints
  • real time
  • constraint satisfaction
  • multiple constraints
  • machine learning
  • constraint programming