american mathematical monthly (5)
journal of automated reasoning (5)
artificial intelligence (4)
journal on satisfiability, boolean modeling and computation (3)
graphs & combinatorics (2)
graphs and combinatorics (2)
journal of artificial intelligence research (2)
theoretical computer science (2)
theory & applications of satisfiability testing (2)
theory & applications of satisfiability testing: sat 2007 (2)
theory and applications of satisfiability testing---sat 2007 (2)
2022 55th ieee/acm international symposium on microarchitecture (micro), microarchitecture (micro), 2022 55th ieee/acm international symposium on, micro (1)
2023 formal methods in computer-aided design (fmcad), formal methods in computer-aided design (fmcad), 2023 (1)
acm communications in computer algebra (1)
automated reasoning. part i (1)
empirical software engineering (1)
journal on satisfiability, boolean modeling & computation (1)
logic for programming, artificial intelligence & reasoning (9783642162411) (1)
logic for programming, artificial intelligence, and reasoning (1)
software language engineering (9783642360886) (1)
theory & applications of satisfiability testing (9783540262763) (1)
theory & practice of logic programming (1)
theory and applications of satisfiability testing (1)
tools & algorithms for the construction & analysis of systems (9783642120015) (1)
virtual systems & multimedia (1)