artificial intelligence (37)
journal of artificial intelligence research (14)
information sciences (13)
science china information sciences (9)
journal of combinatorial optimization (5)
journal of heuristics (5)
acm transactions on computational logic (4)
computer journal (4)
ieee transactions on computers (4)
journal of energy storage (4)
applied intelligence (3)
frontiers of computer science (3)
ieee transactions on cybernetics (3)
jouranl of energy storage (3)
protein & cell (3)
2023 formal methods in computer-aided design (fmcad), formal methods in computer-aided design (fmcad), 2023 (2)
27th international conference on principles and practice of constraint programming (2)
ieee transactions on software engineering (2)
ieee transactions on very large scale integration (vlsi) systems (2)
information and software technology (2)
information sciences. an international journal (2)
journal of the operational research society (2)
nature methods (2)
science china. information sciences (2)
science china-information sciences (2)
theory and applications of satisfiability testing---sat 2021 (2)
2011 ieee 23rd international conference on tools with artificial intelligence, tools with artificial intelligence (ictai), 2011 23rd ieee international conference on (1)
2015 30th ieee/acm international conference on automated software engineering (ase) (1)
2015 30th ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2015 30th ieee/acm international conference on (1)
2016 ieee 34th international conference on computer design (iccd) (1)
2016 ieee 34th international conference on computer design (iccd), computer design (iccd), 2016 ieee 34th international conference on (1)
2018 ieee 12th international symposium on embedded multicore/many-core systems-on-chip (mcsoc), embedded multicore/many-core systems-on-chip (mcsoc), 2018 ieee 12th international symposium on, mcsoc (1)
2021 ieee/acm 43rd international conference on software engineering (icse), software engineering (icse), 2021 ieee/acm 43rd international conference on, icse (1)
2021 ieee/acm 43rd international conference on software engineering: companion proceedings (icse-companion), software engineering: companion proceedings (icse-companion), 2021 ieee/acm 43rd international conference on, icse-companion (1)
2023 60th acm/ieee design automation conference (dac), design automation conference (dac), 2023 60th acm/ieee (1)
2023 ieee/acm international conference on computer aided design (iccad), computer aided design (iccad), 2023 ieee/acm international conference on (1)
2024 29th asia and south pacific design automation conference (asp-dac), design automation conference (asp-dac), 2024 29th asia and south pacific (1)
acm sigarch computer architecture news (1)
applied intelligence: the international journal of artificial intelligence, neural networks, and complex problem-solving technologies (1)
applied intelligence: the international journal of research on intelligent systems for real life complex problems (1)
combinatorial optimization (1)
computer aided verification. part ii (1)
information & software technology (1)
institute of electrical and electronics engineers. transactions on computers (1)
medical image computing & computer-assisted intervention - miccai 2015: 18th international conference munich, germany, october 5-9, 2015, proceedings, part iii (1)
nature communications (1)
parallel problem solving from nature---ppsn xvi. part i (1)
principles & practice of constraint programming (9783642406263) (1)
the computer journal (1)
the journal of systems & software (1)