CARDINALITY CONSTRAINTS
Experts
- Sebastian Link
- Sven Hartmann
- Leah Epstein
- Philipp Rümmer
- János Demetrovics
- Benny Kimelfeld
- Klaus-Dieter Schewe
- Wenfei Fan
- Ester Livshits
- Jean-Charles Régin
- Volker Weispfenning
- Daniel Kroening
- Eugene Goldberg
- Peter Z. Revesz
- Thomas Sturm
- Toby Walsh
- James H. Davenport
- Hoon Hong
- Viktor Kuncak
- Claude-Guy Quimper
- Andrzej Szalas
- Hirokazu Anai
- Rick Voßwinkel
- Christoph Wernhard
- Dachuan Xu
- György Dósa
- Wilfred Ng
- Barry O'Sullivan
- Patrick Bosc
- Leonid Libkin
- Panagiotis Manolios
- Christian Bessiere
- Michal Karpinski
- Bernhard Thalheim
- Angelo Brillout
- Thomas Wahl
- Asaf Levin
- Gilles Pesant
- Jixue Liu
Venues
- CoRR
- CP
- Theor. Comput. Sci.
- ER
- J. Symb. Comput.
- Discret. Appl. Math.
- ICDE
- ISSAC
- J. Symb. Log.
- Constraints An Int. J.
- PODS
- Data Knowl. Eng.
- Math. Program.
- FoIKS
- Math. Log. Q.
- CPAIOR
- Comput. J.
- SIGMOD Conference
- IJCAI
- Fuzzy Sets Syst.
- Discret. Math.
- J. Comput. Syst. Sci.
- Notre Dame J. Formal Log.
- Ann. Pure Appl. Log.
- Ann. Math. Artif. Intell.
- Log. Methods Comput. Sci.
- Inf. Process. Lett.
- ICDT
- Inf. Syst.
- Arch. Math. Log.
- Acta Cybern.
- ICALP
- SEBD
- J. Autom. Reason.
- Electron. Notes Theor. Comput. Sci.
- AAAI
- J. ACM
- LPAR
- LICS
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend