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