官方網(wǎng)站:http://link.springer.com/journal/10601
投稿網(wǎng)址:http://www.springer.com/journal/10601/submission
This journal provides a common forum for the many disciplines interested in constraint programming and constraint satisfaction and optimization, and the many application domains in which constraint technology is employed. It covers all aspects of computing with constraints, including: theory and practice, algorithms and systems, reasoning and programming, logics and languages.Relevant disciplines and application domains include, but are not limited to:Disciplines: artificial intelligence, automated reasoning, combinatorial algorithms, databases, discrete mathematics, operations research, programming languages, satisfiability and computational logic.Domains: agents, bioinformatics, design and configuration, graphics, visualization, user interfaces, human-computer interaction and decision support, robotics, machine vision and computational linguistics, scheduling, planning, resource allocation, temporal and spatial reasoning.
這本雜志為許多對約束編程和約束滿足與優(yōu)化感興趣的學(xué)科以及使用約束技術(shù)的許多應(yīng)用領(lǐng)域提供了一個共同的論壇。它涵蓋了有約束的計算的各個方面,包括:理論和實(shí)踐、算法和系統(tǒng)、推理和編程、邏輯和語言。相關(guān)學(xué)科和應(yīng)用領(lǐng)域包括但不限于:學(xué)科:人工智能、自動推理、組合算法、數(shù)據(jù)庫、離散數(shù)學(xué)、運(yùn)籌學(xué)、編程語言、可滿足性和計算邏輯。領(lǐng)域:代理、生物信息學(xué)、設(shè)計和配置、圖形、可視化、用戶界面、人機(jī)交互和決策支持、機(jī)器人、機(jī)器視覺和計算語言學(xué)、調(diào)度、規(guī)劃、資源分配、時間和空間推理。
大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
計算機(jī)科學(xué) | 4區(qū) | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 計算機(jī):人工智能 COMPUTER SCIENCE, THEORY & METHODS 計算機(jī):理論方法 | 4區(qū) 4區(qū) | 否 | 否 |
JCR分區(qū)等級 | JCR所屬學(xué)科 | 分區(qū) | 影響因子 |
Q4 | COMPUTER SCIENCE, THEORY & METHODS | Q4 | 0.583 |
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | Q4 |
精選同類領(lǐng)域期刊,熱門推薦輕松get~
精選常見問題,答疑解惑輕松get~