SATISFIABILITY MODULO THEORIES
Experts
- Roberto Sebastiani
- Cesare Tinelli
- Clark W. Barrett
- Alberto Griggio
- Alessandro Cimatti
- Mario Alviano
- Robert Nieuwenhuis
- Nikolaj Bjørner
- Albert Oliveras
- Leonardo Mendonça de Moura
- Sherif M. Saif
- Miquel Bofill
- Andrew Reynolds
- Przemyslaw Andrzej Walega
- Mohamed Dessouky
- Erika Ábrahám
- Torsten Schaub
- M. Watheq El-Kharashi
- Hazem M. Abbas
- Mehul Bhatt
- Silvio Ranise
- Carmine Dodaro
- Mateu Villaret
- Gereon Kremer
- Salwa M. Nassar
- Carl P. L. Schultz
- Yuliya Lierler
- Vijay Ganesh
- Roberto Bruttomesso
- Armin Biere
- Benjamin Susman
- Hernán Vanzetto
- Enric Rodríguez-Carbonell
- Andrey Rybalchenko
- Stephan Merz
- Quoc-Sang Phan
- Roland Kaminski
- Martin Gebser
- Silvio Ghilardi
Venues
- CoRR
- SAT
- Theory Pract. Log. Program.
- IJCAI
- LPNMR
- CAV
- CADE
- SMT@IJCAR
- LPAR
- CAV (2)
- Electron. Notes Theor. Comput. Sci.
- SMT
- Formal Methods Syst. Des.
- FMCAD
- JELIA
- ECAI
- FroCoS
- Answer Set Programming
- CP
- Joint Workshop of the German Research Training Groups in Computer Science
- PxTP
- ASE
- Commun. ACM
- Constraints An Int. J.
- J. Artif. Intell. Res.
- J. Autom. Reason.
- IJCAR
- ECC
- IACR Cryptol. ePrint Arch.
- Ann. Math. Artif. Intell.
- AAAI
- VMCAI
- J. Satisf. Boolean Model. Comput.
- SOCS
- ICMS
- Theor. Comput. Sci.
- SYNASC
- CAV (1)
- RCRA@AI*IA
Related Topics
Related Keywords
Popularity