MAX SAT
Experts
- Felip ManyÃ
- Stefan Szeider
- Jin-Kao Hao
- Inês Lynce
- João Marques-Silva
- Holger H. Hoos
- Chu Min Li
- Fedor V. Fomin
- Vijay Ganesh
- Djamal Habet
- Carlos Ansótegui
- Armin Biere
- Karem A. Sakallah
- Gregory Z. Gutin
- Thomas Stützle
- Fred W. Glover
- Rolf Drechsler
- Matti Järvisalo
- Saket Saurabh
- Jordi Levy
- Serge Gaspers
- Laurent Simon
- Edward A. Hirsch
- Shaowei Cai
- Zhipeng Lü
- João P. Marques Silva
- Hans L. Bodlaender
- Jordi Planes
- Josep Argelich
- Marijn Heule
- Moshe Y. Vardi
- Dieter Kratsch
- Sharad Malik
- Habiba Drias
- Gilles Audemard
- Kuldeep S. Meel
- Maria Luisa Bonet
- Fadi A. Aloul
- Dalila Boughaci
Venues
- CoRR
- SAT
- Comput. Oper. Res.
- Eur. J. Oper. Res.
- Electron. Colloquium Comput. Complex.
- CP
- Discret. Appl. Math.
- AAAI
- Theor. Comput. Sci.
- IJCAI
- SODA
- ICTAI
- J. Glob. Optim.
- Ann. Oper. Res.
- Inf. Process. Lett.
- STOC
- Algorithmica
- INFORMS J. Comput.
- MFCS
- J. Heuristics
- J. Satisf. Boolean Model. Comput.
- ECAI
- Ann. Math. Artif. Intell.
- DATE
- J. Artif. Intell. Res.
- FOCS
- Electron. Notes Discret. Math.
- J. Comput. Syst. Sci.
- J. Autom. Reason.
- J. Oper. Res. Soc.
- Math. Program.
- STACS
- J. Comb. Optim.
- Artif. Intell.
- Comput. Ind. Eng.
- DAC
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- Oper. Res. Lett.
- Computational Complexity Conference
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend