LINEAR ARITHMETIC CONSTRAINTS
Experts
- Jean-Louis Lassez
- Peter Nightingale
- Felix Ulrich-Oltean
- Shengyu Zhang
- Robert Ganian
- Christina D. Nikolakakou
- Ken McAloon
- Xiaohui Bei
- Dimitris G. Tsarmpopoulos
- Jan Kára
- George S. Androulakis
- Van-Hau Nguyen
- Josep Suy
- Miquel Bofill
- Kenya Ueno
- Daniela Pucci de Farias
- Pedro F. Lima
- Stéphane Grumbach
- Manuel Bodirsky
- Alberto Bemporad
- Peter J. Stuckey
- Sebastian Ordyniak
- Laurent El Ghaoui
- Ning Chen
- Karl Mosler
- Benjamin Van Roy
- Pavel Bazovkin
- Mogens Graf Plessen
- Timo von Oertzen
- Neha Lodha
- Juan Carlos Figueroa García
- Jordi Coll
- Giuseppe Carlo Calafiore
- Mateu Villaret
- Ron Aharoni
- Biplav Srivastava
- Hubie Chen
- Stefan Szeider
- Tien Huynh
Venues
- CoRR
- Theor. Comput. Sci.
- CP
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- Bioinform.
- CISS
- Discret. Math.
- PCI
- Int. J. Math. Oper. Res.
- J. Intell. Fuzzy Syst.
- ACC
- Eur. J. Oper. Res.
- Math. Program.
- J. Optim. Theory Appl.
- DBPL
- Ann. Oper. Res.
- CCTA
- SAC
- TACAS
- Ann. Math. Artif. Intell.
- ICALP
- ILPS
- ICCAD
- TACS
- Int. J. Mach. Learn. Cybern.
- SAT
- Int. J. Comput. Vis.
- AISC
- LORI
- REFSQ
- KR
- CDC
- FSTTCS
- J. Comput. Sci. Technol.
- SoICT
- Dagstuhl Reports
- Int. J. Comput. Math.
- T2FUZZ
- Inf. Sci.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend