siam journal on computing (15)
computational complexity (13)
acm transactions on computational logic (12)
journal of the acm (11)
clinical orthopaedics & related research® (6)
clinical orthopaedics and related research (5)
information processing letters (5)
journal of artificial intelligence research (4)
leibniz international proceedings in informatics, lipics (4)
logical methods in computer science (4)
26th international conference on principles and practice of constraint programming, cp 2020,louvain-la-neuve, belgium,-- principles and practice of constraint programming - 26th international conference, cp 2020, proceedings elliit: the linkoping-lund initiative on it and mobile communication (3)
international journal of comadem (3)
siam journal on computing (print) (3)
2020 ieee 61st annual symposium on foundations of computer science (2)
2020 ieee 61st annual symposium on foundations of computer science (focs), foundations of computer science (focs), 2020 ieee 61st annual symposium on, focs (2)
22nd international congress on condition monitoring and diagnostic engineering management (2)
30th conference on computational complexity (2)
61st ieee annual symposium on foundations of computer science, focs 2020,virtual, durham, united states,-- proceedings - 2020 ieee 61st annual symposium on foundations of computer science, focs 2020 (2)
constraints: an international journal (2)
electronic colloquium on computational complexity (2)
ijcai international joint conference on artificial intelligence (2)
proceedings of the 30th conference on computational complexity (2)
proceedings of the 31st annual acm-ieee symposium on logic in computer science (lics 2016) (2)
theory and applications of satisfiability testing---sat 2018 (2)
trita-eecs-avl (2)
11th innovations in theoretical computer science conference (1)
2008 49th annual ieee symposium on foundations of computer science, foundations of computer science, 2008. focs '08. ieee 49th annual ieee symposium on (1)
2010 ieee 25th annual conference on computational complexity, computational complexity (ccc), 2010 ieee 25th annual conference on (1)
2012 ieee 27th conference on computational complexity (1)
2012 ieee 27th conference on computational complexity, computational complexity (ccc), 2012 ieee 27th annual conference on (1)
2012 ieee 27th conference on computational complexity---ccc 2012 (1)
2014 ieee 29th conference on computational complexity (ccc) (1)
2014 ieee 29th conference on computational complexity (ccc), computational complexity (ccc), 2014 ieee 29th conference on (1)
2015 ieee 56th annual symposium on foundations of computer science, foundations of computer science (focs), 2015 ieee 56th annual symposium on (1)
2016 31st annual acm/ieee symposium on logic in computer science (lics), logic in computer science (lics), 2016 31st annual acm/ieee symposium on (1)
2016 ieee 57th annual symposium on foundations of computer science (focs), foundations of computer science (focs), 2016 ieee 57th annual symposium on (1)
2020 formal methods in computer aided design (fmcad), formal methods in computer aided design (fmcad), 2020 (1)
2022 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2022 (1)
acm transactions on computational logic (tocl) (1)
proceedings of the 31st annual acm/ieee symposium on logic in computer science (1)
proceedings of the 32nd computational complexity conference (1)
proceedings of the 34th computational complexity conference (1)
proceedings of the 35th computational complexity conference (1)
proceedings of the 36th computational complexity conference (1)
proceedings of the 50th annual acm sigact symposium on theory of computing (1)
proceedings of the 53rd annual acm sigact symposium on theory of computing (1)
proceedings of the fortieth annual acm symposium on theory of computing (1)
proceedings of the forty-fifth annual acm symposium on theory of computing (1)
proceedings of the forty-fourth annual acm symposium on theory of computing (1)
proceedings of the thirty-eighth annual acm symposium on theory of computing (1)