journal on satisfiability, boolean modeling and computation (6)
journal of experimental & theoretical artificial intelligence (5)
ai communications (4)
constraints: an international journal (4)
geophysical research abstracts (4)
international journal on artificial intelligence tools (4)
observatorio (obs*) (4)
acm / sigplan notices (3)
breast cancer research and treatment (3)
cancer research (3)
cerebral cortex (3)
environmental earth sciences (3)
formal aspects of computing (3)
journal of experimental biology (3)
journal of psychiatric research (3)
plos one (3)
ge portuguese journal of gastroenterology (2)
journal on satisfiability, boolean modeling & computation (2)
key engineering materials (2)
proceedings of the vldb endowment (2)
2010 22nd ieee international conference on tools with artificial intelligence, tools with artificial intelligence (ictai), 2010 22nd ieee international conference on (1)
2011 ieee 23rd international conference on tools with artificial intelligence, tools with artificial intelligence (ictai), 2011 23rd ieee international conference on (1)
2020 35th ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2020 35th ieee/acm international conference on, ase (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)
2021 ieee/acm international workshop on automated program repair (apr), automated program repair (apr), 2021 ieee/acm international workshop on, apr (1)
2023 38th ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2023 38th ieee/acm international conference on, ase (1)
25th international conference on theory and applications of satisfiability testing (1)
26th international conference on theory and applications of satisfiability testing (1)
acm sigplan notices (1)
ai communications. the european journal on artificial intelligence (1)
biological psychiatry (1)
breast cancer research & treatment (1)
clinical colorectal cancer (1)
comunicacao publica (1)
constraints (1)
constraints. an international journal (1)
formal aspects of computing: applicable formal methods (1)
formal methods for industrial critical systems: 20th international workshop, fmics 2015 oslo, norway, june 22-23, 2015 proceedings (1)
frontiers in human neuroscience (1)
gastroenterology (1)
gastroenterology (00165085) (1)
geological society, london, special publications (1)
handbook of parallel constraint reasoning (1)
icse: international conference on software engineering (1)
journal of coloproctology (1)
journal of the korean society of traumatology (1)
learning & intelligent optimization (9783642344121) (1)
lpar-23. 23rd international conference on logic for programming, artificial intelligence and reasoning (1)
medicina-buenos aires (1)