External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Probabilistic sentence satisfiability: An approach to PSAT

Thomas C. Henderson, Robert Simmons, Bernard Serbinowski, Michael Cline, David Sacharny, Xiuyi Fan, Amar Mitiche. Probabilistic sentence satisfiability: An approach to PSAT. Artificial Intelligence, 278, 2020. [doi]

Authors

Thomas C. Henderson

This author has not been identified. Look up 'Thomas C. Henderson' in Google

Robert Simmons

This author has not been identified. Look up 'Robert Simmons' in Google

Bernard Serbinowski

This author has not been identified. Look up 'Bernard Serbinowski' in Google

Michael Cline

This author has not been identified. Look up 'Michael Cline' in Google

David Sacharny

This author has not been identified. Look up 'David Sacharny' in Google

Xiuyi Fan

This author has not been identified. Look up 'Xiuyi Fan' in Google

Amar Mitiche

This author has not been identified. Look up 'Amar Mitiche' in Google
runs on