Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection

Journal

International Joint Conference on Artificial Intelligence (IJCAI)

Part Of

IJCAI International Joint Conference on Artificial Intelligence

Start Page

1339

End Page

1345

ISBN (of the container)

978-099924112-7

Date Issued

2018

Author(s)

Y.-S. Wang

DOI

URI

Event(s)

27th International Joint Conference on Artificial Intelligence, IJCAI 2018

Type

conference paper