LINEAR ARITHMETIC CONSTRAINTS
Experts
- Jean-Louis Lassez
- Peter Nightingale
- Felix Ulrich-Oltean
- Ning Chen
- Tien Huynh
- Manuel Bodirsky
- Stefan Szeider
- Hubie Chen
- Peter J. Stuckey
- Pedro F. Lima
- Josep Suy
- Giuseppe Carlo Calafiore
- Mateu Villaret
- Kim Marriott
- Van-Hau Nguyen
- Daniela Pucci de Farias
- Juan Carlos Figueroa García
- Shengyu Zhang
- Jonas Mårtensson
- Bo Wahlberg
- Pavel Bazovkin
- Xiaohui Bei
- Benjamin Van Roy
- Christina D. Nikolakakou
- Karl Mosler
- Ken McAloon
- Zoé Lacroix
- Neha Lodha
- Mogens Graf Plessen
- Kenya Ueno
- George S. Androulakis
- Robert Ganian
- Miquel Bofill
- Timo von Oertzen
- Stéphane Grumbach
- Sebastian Ordyniak
- Dimitris G. Tsarmpopoulos
- Ron Aharoni
- Jan Kára
Venues
- CoRR
- Theor. Comput. Sci.
- CP
- PCI
- J. Intell. Fuzzy Syst.
- CCTA
- Eur. J. Oper. Res.
- J. Optim. Theory Appl.
- Int. J. Math. Oper. Res.
- Bioinform.
- CISS
- Math. Program.
- ACC
- DBPL
- Ann. Oper. Res.
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- Discret. Math.
- OR Spectr.
- SMA
- MFCS
- Comput. Optim. Appl.
- ITSC
- Int. J. Robotics Res.
- CADE
- Oper. Res.
- ICALP
- AAAI
- STACS
- Ann. Math. Artif. Intell.
- Numerische Mathematik
- ITQM
- Int. J. Parallel Emergent Distributed Syst.
- SAT
- Inf. Sci.
- GLOBECOM
- REFSQ
- ACM Symposium on User Interface Software and Technology
- J. Approx. Theory
- CONCUR
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend