BOOLEAN EXPRESSIONS
Experts
- Dan Suciu
- Driss Boutat
- Thomas Schwentick
- Benny Kimelfeld
- George Labahn
- Jean-Pierre Barbot
- Frank Neven
- Bas Ketsman
- Paraschos Koutris
- Pablo Barceló
- Nicole Schweikardt
- Hubie Chen
- Sebastian Rudolph
- Thomas Zeume
- Nofar Carmeli
- Gilles Villard
- Rada Chirkova
- Man Fai Lau
- Millist W. Vincent
- Stefan Mengel
- Jerzy Marcinkowski
- Wolfgang Gatterbauer
- Carsten Lutz
- Miguel Romero
- Henrik Reif Andersen
- Leonid Libkin
- Gang Zheng
- Dan Olteanu
- Henrik Hulgaard
- Tsong Yueh Chen
- Arne Storjohann
- Georg Gottlob
- Christoph Berkholz
- Gaetano Geck
- Jose Divasón
- Piotr Polesiuk
- Surajit Chaudhuri
- Angelo Gargantini
- Sebastian Skritek
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.
- Fundam. Informaticae
- J. Comput. Syst. Sci.
- 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