Progression in Maximum Satisfiability

AuthID
 P-00A-6P5
5
Author(s)
3
Editor(s)
Schaub, T; Friedrich, G; OSullivan, B
Document Type
Proceedings Paper
Year published
2014
Published
in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014) in Frontiers in Artificial Intelligence and Applications, ISSN: 0922-6389
Volume: 263, Pages: 453-458 (6)
Conference
21St European Conference on Artificial Intelligence (Ecai), Date: AUG 18-22, 2014, Location: Prague, CZECH REPUBLIC, Sponsors: European Coordinating Comm Artificial Intelligence, Artificial Intelligence Journal, Czech Soc Cybernet & Informat, IOS Press, Univ Potsdam, Host: Czech Tech Univ
Indexing
Wos®
Scopus®
Dblp®/en/publications/view/334533
Google Scholar®
Publication Identifiers
DBLP: conf/ecai/IgnatievMMLM14
SCOPUS: 2-s2.0-84923167417
Wos: WOS:000349444700077
Source Identifiers
ISSN: 0922-6389
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