Progression in Maximum Satisfiability

AuthID
 P-00A-6P5
5
Author(s)
Ignatiev, A
·
3
Editor(es)
Schaub,T;Friedrich,G;O'Sullivan,B
Tipo de Documento
Proceedings Paper
Year published
2014
Publicado
in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014) in Frontiers in Artificial Intelligence and Applications, ISSN: 0922-6389
Volume: 263, Páginas: 453-458 (6)
Conference
21St European Conference on Artificial Intelligence (Ecai), Date: AUG 18-22, 2014, Location: Prague, CZECH REPUBLIC, Patrocinadores: European Coordinating Comm Artificial Intelligence, Artificial Intelligence Journal, Czech Soc Cybernet & Informat, IOS Press, Univ Potsdam, Host: Czech Tech Univ
Indexing
Wos®
Scopus®
Dblp®/pt/publications/view/334533
Crossref®
Google Scholar®
Publication Identifiers
DBLP: conf/ecai/IgnatievMMLM14
SCOPUS: 2-s2.0-84923167417
Wos: WOS:000349444700077
Source Identifiers
ISSN: 0922-6389
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service