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