constraints (9)
constraints. an international journal (4)
journal of artificial intelligence research (4)
principles & practice of constraint programming (4)
theory and practice of logic programming (4)
acm / sigplan notices (3)
annals of mathematics and artificial intelligence (3)
artificial intelligence (3)
constraints: an international journal (3)
annals of mathematics & artificial intelligence (2)
eighteenth national conference: artificial intelligence (2)
international journal of information security (2)
new generation computing (2)
proceedings of the acm sigplan 1991 conference: programming language design & implementation (2)
proceedings of the acm sigplan 1992 conference: programming language design & implementation (2)
theory & practice of logic programming (2)
2008 ifip international conference on network and parallel computing, network and parallel computing, 2008. npc 2008. ifip international conference on (1)
2010 acm/ieee 32nd international conference on software engineering, software engineering, 2010 acm/ieee 32nd international conference on (1)
2010 fourth ieee international conference on self-adaptive and self-organizing systems workshop, self-adaptive and self-organizing systems workshop (sasow), 2010 fourth ieee international conference on (1)
2010 fourth international conference on secure software integration and reliability improvement companion, secure software integration and reliability improvement companion (ssiri-c), 2010 fourth international conference on (1)
2017 ieee 29th international conference on tools with artificial intelligence (ictai), tools with artificial intelligence (ictai), 2017 ieee 29th international conference on, ictai (1)
2017 ieee 37th international conference on distributed computing systems (icdcs), distributed computing systems (icdcs), 2017 ieee 37th international conference on, icdcs (1)
2020 ieee 32nd international conference on tools with artificial intelligence (ictai), tools with artificial intelligence (ictai), 2020 ieee 32nd international conference on, ictai (1)
26th international conference on theory and applications of satisfiability testing (1)
acm transactions on programming languages & systems (1)
advances in biometrics: third international conference, icb 2009, alghero, italy, june 2-5, 2009. proceedings (1)
ai 2008: advances in artificial intelligence (1)
computer security - esorics 2012 (1)
computer security - esorics 2015: 20th european symposium on research in computer security, vienna, austria, september 21-25, 2015, proceedings, part ii (1)
computers & security (1)
coordination models & languages (9783540727934) (1)
cryptology & network security (9783319489643) (1)
detection of intrusions & malware & vulnerability assessment (9783642372995) (1)
d-lib magazine (1)
engineering stochastic local search algorithms. designing, implementing & analyzing effective heuristics (1)
fifth generation computer systems, vol.\ 1, 2 (tokyo, 1992) (1)
icse: international conference on software engineering (1)
journal of logic programming (1)
journal of the acm (1)
knowledge engineering review (1)
learning and intelligent optimization (1)
logic programming (9780262291118) (1)
logic programming (9780262291309) (1)
logic programming (9780262291439) (1)
logic programming (9783540366355) (1)
logic programming (kanagawa, 1995) (1)
logic programming (paris, 1991) (1)
physica a. statistical mechanics and its applications (1)
principles & practice of constraint programming - cp 2007 (1)
principles & practice of constraint programming (9783642335570) (1)