artificial intelligence (15)
international journal of computational intelligence systems (6)
journal of multiple-valued logic and soft computing (6)
journal of artificial intelligence research (5)
environmental modelling & software (4)
european journal of operational research (4)
fundamenta informaticae (4)
information sciences (4)
journal of heuristics (4)
logic journal of the igpl (4)
2023 ieee 53rd international symposium on multiple-valued logic (ismvl), multiple-valued logic (ismvl), 2023 ieee 53rd international symposium on, ismvl (3)
2023 ieee 53rd international symposium on multiple-valued logic---ismvl 2023 (3)
ai communications (3)
annals of mathematics and artificial intelligence (3)
computers & operations research (3)
international journal of approximate reasoning (3)
journal of multiple-valued logic & soft computing (3)
science china information sciences (3)
2009 39th international symposium on multiple-valued logic, multiple-valued logic, 2009. ismvl '09. 39th international symposium on (2)
automated reasoning with analytic tableaux and related methods (2)
computers \& operations research (2)
computers and operations research (2)
constraints: an international journal (2)
discrete applied mathematics (2)
environmental modelling and software (2)
fuzzy sets and systems (2)
logic journal of the igpl. interest group in pure and applied logics (2)
principles & practice of constraint programming - cp 2005 (2)
soft computing - a fusion of foundations, methodologies & applications (2)
theory & applications of satisfiability testing - sat 2008 (2)
theory & applications of satisfiability testing - sat 2009 (2)
theory & applications of satisfiability testing (9783540262763) (2)
theory and applications of satisfiability testing---sat 2009 (2)
2010 40th ieee international symposium on multiple-valued logic, multiple-valued logic (ismvl), 2010 40th ieee international symposium on (1)
2011 41st ieee international symposium on multiple-valued logic, multiple-valued logic (ismvl), 2011 41st ieee international symposium on (1)
2012 ieee 24th international conference on tools with artificial intelligence (1)
2012 ieee 24th international conference on tools with artificial intelligence, tools with artificial intelligence (ictai), 2012 ieee 24th international conference on (1)
2012 ieee 42nd international symposium on multiple-valued logic (1)
2012 ieee 42nd international symposium on multiple-valued logic, multiple-valued logic (ismvl), 2012 42nd ieee international symposium on (1)
2014 ieee 44th international symposium on multiple-valued logic (1)
2014 ieee 44th international symposium on multiple-valued logic, multiple-valued logic (ismvl), 2014 ieee 44th international symposium on (1)
annals of mathematics & artificial intelligence (1)
entcs: electronic notes in theoretical computer science (1)
journal of computer science and technology (1)
journal of global optimization: an international journal dealing with theoretical and computational aspects of seeking global optima and their applications in science, management and engineering (1)
journal on satisfiability, boolean modeling and computation (1)
logic for programming & automated reasoning (1)
soft computing: a fusion of foundations, methodologies and applications (1)
theory & applications of satisfiability testing - sat 2006 (1)
theory & applications of satisfiability testing: sat 2007 (1)