Probabilistic sentence satisfiability: An approach to PSAT

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 01, 2020
Source ID
10.1016/j.artint.2019.103199

Entities

People

  • A. Mitiche
  • B. Serbinowski
  • David Sacharny
  • M. Cline
  • Richard O. Simmons
  • T.c. Henderson
  • X. Fan

Organizations

  • Air Force Office of Scientific Research