Classical Generalized Probabilistic Satisfiability

AuthID
 P-00N-50H
3
Author(s)
1
Editor(s)
Sierra,C
Document Type
Proceedings Paper
Year published
2017
Published
in Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017 in IJCAI, ISSN: 1045-0823
Volume: 0, Pages: 908-914
Conference
26Th International Joint Conference on Artificial Intelligence, Ijcai 2017, Date: 19 August 2017 through 25 August 2017, Sponsors: Alibaba Group;Artificial Intelligence Journal;et al.;Melbourne Convention Bureau;Victoria Government;Xiaoi
Indexing
Scopus®
Dblp®/en/publications/view/693265
Crossref®1
Google Scholar®
Publication Identifiers
Dblp: conf/ijcai/CaleiroCM17
Scopus: 2-s2.0-85031904320
Source Identifiers
ISSN: 1045-0823
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service