artificial intelligence (20)
journal on satisfiability, boolean modeling and computation (8)
journal of symbolic computation (6)
ai communications (4)
constraints: an international journal (4)
theoretical computer science (4)
engineering applications of artificial intelligence (3)
25th international conference on theory and applications of satisfiability testing (2)
27th international conference on principles and practice of constraint programming (2)
constraints (2)
constraints. an international journal (2)
journal on satisfiability, boolean modeling & computation (2)
proceedings of 24th international conference on logic for programming, artificial intelligence and reasoning (2)
theory and applications of satisfiability testing---sat 2013 (2)
11th international software product line conference (splc 2007), software product line conference, 2007. splc 2007. 11th international (1)
2012 design, automation & test in europe conference & exhibition (date) (1)
2012 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2012 (1)
2021 formal methods in computer aided design (fmcad), computer aided design (fmcad), 2021 formal methods in (1)
2021 ieee 33rd international conference on tools with artificial intelligence (ictai), tools with artificial intelligence (ictai), 2021 ieee 33rd international conference on, ictai (1)
2023 25th international symposium on symbolic and numeric algorithms for scientific computing (synasc), symbolic and numeric algorithms for scientific computing (synasc), 2023 25th international symposium on, synasc (1)
2023 formal methods in computer-aided design (fmcad), formal methods in computer-aided design (fmcad), 2023 (1)
2024 ieee/acm international workshop on automated program repair (apr), automated program repair (apr), 2024 ieee/acm international workshop on, apr (1)
32nd international symposium on theoretical aspects of computer science (1)
acm transactions on computation theory (1)
acm transactions on computation theory (toct) (1)
ai communications. the european journal on artificial intelligence (1)
automated reasoning (1)
computer aided verification (1)
computer aided verification (9783642397981) (1)
domain-specific languages (1)
fundamental approaches to software engineering (9783540787426) (1)
intelligent computer mathematics (1)
logic for programming, artificial intelligence & reasoning: 19th international conference, lpar-19, stellenbosch, south africa, december 14-19, 2013, proceedings (1)
logic for programming, artificial intelligence, and reasoning (1)
logic programming and nonmonotonic reasoning (1)
logics in artificial intelligence (1)
logics in artificial intelligence (9783642156748) (1)
mathematical foundations of computer science 2014: 39th international symposium, mfcs 2014, budapest, hungary, august 25-29, 2014. proceedings, part ii (1)
medical image computing & computer-assisted intervention - miccai 2015: 18th international conference munich, germany, october 5-9, 2015, proceedings, part iii (1)
principles & practice of constraint programming (9783642335570) (1)
principles & practice of constraint programming (9783642406263) (1)
principles & practice of constraint programming: 22nd international conference, cp 2016, toulouse, france, september 5-9, 2016, proceedings (1)
proceedings of the 2007 conference on specification and verification of component-based systems: 6th joint meeting of the european conference on software engineering and the acm sigsoft symposium on the foundations of software engineering (1)
proceedings of the 2007 conference: specification & verification of component-based systems (1)
proceedings of the 36th international conference on software engineering (1)
proceedings of the conference on design, automation and test in europe (1)
proceedings of the conference: design, automation & test in europe (1)
proceedings of the eighth international workshop on variability modelling of software-intensive systems (1)
sofsem 2010: theory & practice of computer science (1)
theory & applications of satisfiability testing - sat 2016 (1)