theory & applications of satisfiability testing (9783540262763) (42)
artificial intelligence (18)
computational intelligence (4)
journal of artificial intelligence research (4)
ai magazine (3)
annals of mathematics and artificial intelligence (3)
principles & practice of constraint programming - cp 2007 (3)
theory and applications of satisfiability testing---sat 2020 (3)
annals of mathematics & artificial intelligence (2)
journal on satisfiability, boolean modeling and computation (2)
machine intelligence and pattern recognition (2)
principles & practice of constraint programming (9783642406263) (2)
theory & applications of satisfiability testing - sat 2006 (2)
theory and applications of satisfiability testing---sat 2013 (2)
uncertainty proceedings 1994 (2)
2010 design, automation & test in europe conference & exhibition (date 2010), design, automation & test in europe conference & exhibition (date), 2010 (1)
aaai-91. proceedings, ninth national conference on artificial intelligence, vol.\ 1, 2 (1)
artificial intelligence. an international journal (1)
automated reasoning (1)
computer aided verification (9783319088662) (1)
computer aided verification (9783319216676) (1)
computer aided verification. part ii (1)
eighteenth national conference: artificial intelligence (1)
integration of ai and or techniques in constraint programming (1)
journal on satisfiability, boolean modeling & computation (1)
logic for programming, artificial intelligence & reasoning: 20th international conference, lpar-20 2015, suva, fiji, november 24-28, 2015, proceedings (1)
logic for programming, artificial intelligence, and reasoning (1)
logical foundations for cognitive agents (1)
principles & practice of constraint programming (1)
principles & practice of constraint programming - cp 2006 (1)
principles & practice of constraint programming - cp 2010 (1)
proceedings of the conference: design, automation & test in europe (1)
proceedings of the conference: design, automation & test in europe (9783981080162) (1)
proceedings of the first international conference on principles of knowledge representation and reasoning (toronto, on, 1989) (1)
proceedings of the fourteenth national conference on artificial intelligence and ninth innovative applications of artificial intelligence conference (providence, ri, 1997) (1)
proceedings of the thirteenth national conference on artificial intelligence and the eighth innovative applications of artificial intelligence conference, vol.\ 1, 2 (portland, or, 1996) (1)
synthese (1)
synthese. an international journal for epistemology, methodology and philosophy of science (1)
the journal of symbolic logic (1)
theory & applications of satisfiability testing - sat 2009 (1)
theory & applications of satisfiability testing - sat 2010 (1)
theory and applications of satisfiability testing - sat 2020 (1)
theory and applications of satisfiability testing---sat 2006 (1)
theory and applications of satisfiability testing---sat 2007 (1)
theory and applications of satisfiability testing---sat 2009 (1)
theory and applications of satisfiability testing---sat 2012 (1)
theory and applications of satisfiability testing---sat 2014 (1)
theory and applications of satisfiability testing---sat 2019 (1)
uncertainty in artificial intelligence (montreal, pq, 1995) (1)
uncertainty in artificial intelligence, 4 (1)