官方網(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.
這本雜志為許多對(duì)約束編程和約束滿(mǎn)足與優(yōu)化感興趣的學(xué)科以及使用約束技術(shù)的許多應(yīng)用領(lǐng)域提供了一個(gè)共同的論壇。它涵蓋了有約束的計(jì)算的各個(gè)方面,包括:理論和實(shí)踐、算法和系統(tǒng)、推理和編程、邏輯和語(yǔ)言。相關(guān)學(xué)科和應(yīng)用領(lǐng)域包括但不限于:學(xué)科:人工智能、自動(dòng)推理、組合算法、數(shù)據(jù)庫(kù)、離散數(shù)學(xué)、運(yùn)籌學(xué)、編程語(yǔ)言、可滿(mǎn)足性和計(jì)算邏輯。領(lǐng)域:代理、生物信息學(xué)、設(shè)計(jì)和配置、圖形、可視化、用戶(hù)界面、人機(jī)交互和決策支持、機(jī)器人、機(jī)器視覺(jué)和計(jì)算語(yǔ)言學(xué)、調(diào)度、規(guī)劃、資源分配、時(shí)間和空間推理。
大類(lèi)學(xué)科 | 分區(qū) | 小類(lèi)學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
計(jì)算機(jī)科學(xué) | 4區(qū) | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 計(jì)算機(jī):人工智能 COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī):理論方法 | 4區(qū) 4區(qū) | 否 | 否 |
JCR分區(qū)等級(jí) | JCR所屬學(xué)科 | 分區(qū) | 影響因子 |
Q4 | COMPUTER SCIENCE, THEORY & METHODS | Q4 | 0.583 |
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | Q4 |
精選同類(lèi)領(lǐng)域期刊,熱門(mén)推薦輕松get~
精選常見(jiàn)問(wèn)題,答疑解惑輕松get~