Covering, Packing and Logical Inference

Abstract

Progress has been made in a number of areas. These include set covering, integer programming, inference in proportional logic, and uncertainty and belief logics.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 1993
Accession Number
ADA274314

Entities

People

  • E. Balas
  • G. Cornuejols
  • J. N. Hooker

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Air Platforms

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Circuits
  • Computer Programming
  • Coverings
  • Decomposition
  • Expert Systems
  • Integer Programming
  • Linear Programming
  • Logic
  • Logic Gates
  • Mathematical Programming
  • Optimization
  • Simplex Method
  • Trees (Data Structures)
  • Uncertainty

Technology Areas

  • AI & ML
  • AI & ML - Machine Learning Algorithms