Efficient Constraint Solving Engines to Reason About Real-Time Systems

Abstract

During the period of this proposal, we worked on a number of areas in Combinatorial Optimization. In particular, we made contributions to the fields of constraint solving, database migration, and program verification. Our work was accepted and published in the very top CS journals and conferences.0000-0001-5821-5117

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 27, 2023
Accession Number
AD1230527

Entities

People

  • Krishnamurthy Subramani

Organizations

  • West Virginia University

Tags

Fields of Study

  • Physics

Readers

  • Operations Research
  • Parallel and Distributed Computing.
  • Technical Research and Report Writing.