MODULO THEORIES
Experts
- Torsten Schaub
- Roberto Sebastiani
- Clark W. Barrett
- Thomas Eiter
- Mario Alviano
- Cesare Tinelli
- Esra Erdem
- Martin Gebser
- Stefan Woltran
- Alberto Griggio
- Andrew Reynolds
- Pedro Cabalar
- Tran Cao Son
- Robert Nieuwenhuis
- Alessandro Cimatti
- Patrick Trentin
- Yuliya Lierler
- Mehul Bhatt
- Carmine Dodaro
- Marco Maratea
- Leonardo Mendonça de Moura
- Albert Oliveras
- Aina Niemetz
- Miquel Bofill
- Joohyung Lee
- Nikolaj Bjørner
- Roland Kaminski
- Przemyslaw Andrzej Walega
- Jorge Fandinno
- Mathias Preiner
- David Déharbe
- Mateu Villaret
- Wolfgang Faber
- Michael Fink
- Miroslaw Truszczynski
- Carl P. L. Schultz
- Armando Tacchella
- Simona Perri
- Enrico Pontelli
Venues
- CoRR
- Theory Pract. Log. Program.
- LPNMR
- SAT
- AAAI
- IJCAI
- SMT
- KR
- CADE
- IWSLT
- CAV
- J. Autom. Reason.
- JELIA
- LPAR
- Answer Set Programming
- ICLP
- ECAI
- SMT@IJCAR
- IJCAR
- TACAS
- J. Satisf. Boolean Model. Comput.
- FMCAD
- ICLP (Technical Communications)
- IACR Cryptol. ePrint Arch.
- Formal Methods Syst. Des.
- Artif. Intell.
- Künstliche Intell.
- CAV (2)
- PLDI
- ASE
- SYNASC
- Int. J. Softw. Tools Technol. Transf.
- J. Artif. Intell. Res.
- CPP
- Proc. ACM Program. Lang.
- FroCoS
- Fundam. Informaticae
- ICTAI
- Commun. ACM
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend