BOOLEAN EXPRESSIONS
Experts
- Driss Boutat
- Dan Suciu
- Thomas Schwentick
- Jean-Pierre Barbot
- George Labahn
- Benny Kimelfeld
- Paraschos Koutris
- Bas Ketsman
- Frank Neven
- Hubie Chen
- Nicole Schweikardt
- Pablo Barceló
- Jerzy Marcinkowski
- Wolfgang Gatterbauer
- Stefan Mengel
- Millist W. Vincent
- Gilles Villard
- Man Fai Lau
- Rada Chirkova
- Nofar Carmeli
- Thomas Zeume
- Sebastian Rudolph
- Christoph Berkholz
- Gaetano Geck
- Arne Storjohann
- Georg Gottlob
- Tsong Yueh Chen
- Henrik Hulgaard
- Gang Zheng
- Dan Olteanu
- Leonid Libkin
- Henrik Reif Andersen
- Miguel Romero
- Carsten Lutz
- Tomasz Gogacz
- Marcelo Arenas
- Yanlong Zhao
- Dariusz Biernacki
- Matthias Lanzinger
Venues
- CoRR
- ICDT
- PODS
- Theor. Comput. Sci.
- Int. J. Bifurc. Chaos
- J. Symb. Comput.
- CDC
- Description Logics
- SIGMOD Conference
- Inf. Process. Lett.
- J. ACM
- IEEE Trans. Autom. Control.
- Fuzzy Sets Syst.
- ISSAC
- Discret. Math.
- Int. J. Found. Comput. Sci.
- LICS
- Int. J. Algebra Comput.
- AMW
- Commun. ACM
- J. Symb. Log.
- ICDE
- Inf. Comput.
- SIAM J. Comput.
- J. Comput. Syst. Sci.
- Fundam. Informaticae
- Theory Comput. Syst.
- STOC
- Proc. VLDB Endow.
- J. Autom. Reason.
- FUZZ-IEEE
- CADE
- CSL
- IEEE Trans. Knowl. Data Eng.
- IEEE Trans. Computers
- ICML
- IEICE Trans. Inf. Syst.
- VLDB
- ACM SIGPLAN Notices
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend