acm transactions on database systems (5)
communications of the acm (5)
computer aided verification. part i (3)
computer aided verification. part ii (3)
constraints: an international journal (3)
constraints (2)
constraints. an international journal (2)
euro-par 2016: parallel processing (2)
journal of artificial intelligence research (2)
proceedings of 24th international conference on logic for programming, artificial intelligence and reasoning (2)
proceedings of the 40th acm sigmod-sigact-sigai symposium on principles of database systems (2)
theory and applications of satisfiability testing---sat 2019 (2)
theory and applications of satisfiability testing---sat 2020 (2)
2014 23rd international conference on parallel architecture and compilation techniques (pact), parallel architecture and compilation techniques (pact), 2014 23rd international conference on (1)
2014 51st acm/edac/ieee design automation conference (dac) (1)
2014 51st acm/edac/ieee design automation conference (dac), design automation conference (dac), 2014 51st acm/edac/ieee (1)
2019 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2019 (1)
2021 formal methods in computer aided design (fmcad), computer aided design (fmcad), 2021 formal methods in (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 conference on computer aided design (iccad), computer aided design (iccad), 2021 ieee/acm international conference on (1)
2022 formal methods in computer-aided design (fmcad), formal methods in computer-aided design (fmcad), 2022 (1)
2022 ieee/acm 44th international conference on software engineering (icse), software engineering (icse), 2022 ieee/acm 44th international conference on, icse (1)
2022 ieee/acm international conference on computer aided design (iccad), computer aided design (iccad)2022 ieee/acm international conference on (1)
2023 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2023 (1)
26th international conference on theory and applications of satisfiability testing (1)
27th international conference on database theory (1)
27th international conference on principles and practice of constraint programming (1)
30th annual european symposium on algorithms (1)
32nd international conference on computer aided verification, cav 2020,los angeles, united states,-- computer aided verification - 32nd international conference, cav 2020, proceedings elliit: the linkoping-lund initiative on it and mobile communication (1)
37th iarcs annual conference on foundations of software technology and theoretical computer science (1)
48th international symposium on mathematical foundations of computer science (1)
computer aided verification (9783642397981) (1)
dac: annual acm/ieee design automation conference (1)
formal methods in system design: an international journal (1)
icse: international conference on software engineering (1)
principles & practice of constraint programming (9783642406263) (1)
proceedings of the 2019 aaai/acm conference on ai, ethics, and society (1)
proceedings of the 2019 acm sigsac conference on computer and communications security (1)
proceedings of the 23rd international conference on parallel architectures and compilation (1)
proceedings of the 25th international conference on compiler construction (1)
proceedings of the 28th acm joint meeting on european software engineering conference and symposium on the foundations of software engineering (1)
proceedings of the 35th annual acm/ieee symposium on logic in computer science (1)
proceedings of the 43rd international conference on software engineering (1)
proceedings of the 43rd international conference on software engineering: companion proceedings (1)
proceedings of the 44th international conference on software engineering (1)
proceedings of the 51st annual design automation conference (1)
proceedings of the the 51st annual design automation conference design automation conference (1)
sigmod record (1)
tools & algorithms for the construction & analysis of systems 21st international conference, tacas 2015, held as part of the european joint conferences on theory & practice of software, etaps 2015, london, uk, april 11-18, 2015, proceedings (1)