BOOLEAN EXPRESSIONS
Experts
- Dan Suciu
- Driss Boutat
- Thomas Schwentick
- Jean-Pierre Barbot
- George Labahn
- Benny Kimelfeld
- Frank Neven
- Bas Ketsman
- Paraschos Koutris
- Nicole Schweikardt
- Hubie Chen
- Pablo Barceló
- Stefan Mengel
- Wolfgang Gatterbauer
- Jerzy Marcinkowski
- Rada Chirkova
- Man Fai Lau
- Gilles Villard
- Millist W. Vincent
- Sebastian Rudolph
- Nofar Carmeli
- Thomas Zeume
- Tsong Yueh Chen
- Dan Olteanu
- Gang Zheng
- Henrik Hulgaard
- Arne Storjohann
- Georg Gottlob
- Gaetano Geck
- Christoph Berkholz
- Henrik Reif Andersen
- Leonid Libkin
- Carsten Lutz
- Miguel Romero
- Christoph Koch
- Gianluigi Greco
- Poul Frederick Williams
- Uwe Egly
- Francesco Scarcello
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.
- ISSAC
- Fuzzy Sets Syst.
- Discret. Math.
- Int. J. Algebra Comput.
- Int. J. Found. Comput. Sci.
- LICS
- J. Symb. Log.
- Commun. ACM
- AMW
- J. Comput. Syst. Sci.
- Fundam. Informaticae
- Theory Comput. Syst.
- SIAM J. Comput.
- ICDE
- Inf. Comput.
- J. Autom. Reason.
- Proc. VLDB Endow.
- STOC
- VLDB
- ICML
- IEICE Trans. Inf. Syst.
- CSL
- IEEE Trans. Knowl. Data Eng.
- IEEE Trans. Computers
- FUZZ-IEEE
- CADE
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend