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