MAXIMUM SATISFIABILITY
Experts
- Felip Manyà
- João Marques-Silva
- Inês Lynce
- Chu Min Li
- Josep Argelich
- Matti Järvisalo
- Jordi Planes
- Djamal Habet
- Vasco M. Manquinho
- Shaowei Cai
- Federico Heras
- Carlos Ansótegui
- Jeremias Berg
- Andreas G. Veneris
- Sharad Malik
- Ruben Martins
- Alba Cabiscol
- Mohamed Sami Cherif
- António Morgado
- Jordi Levy
- Alexey Ignatiev
- Konrad W. Schwerdtfeger
- Sean Safarpour
- Karem A. Sakallah
- Chuan Luo
- David P. Williamson
- Heidi E. Dixon
- Rolf Drechsler
- Matthieu Py
- Alexander Nadel
- André Abramé
- Javier Larrosa
- Ramón Béjar
- Maria Luisa Bonet
- Matthew L. Ginsberg
- Hantao Zhang
- Kazuhisa Seto
- Suguru Tamaki
- Takayuki Sakai
Venues
- CoRR
- SAT
- CP
- AAAI
- ICTAI
- IJCAI
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- Artif. Intell.
- J. Satisf. Boolean Model. Comput.
- GECCO
- J. Artif. Intell. Res.
- ECAI
- ISMVL
- Electron. Colloquium Comput. Complex.
- SODA
- Discret. Appl. Math.
- AI Commun.
- DATE
- FMCAD
- Inf. Process. Lett.
- Computational Complexity Conference
- CCIA
- Eur. J. Oper. Res.
- J. Heuristics
- IPEC
- MFCS
- J. Comb. Optim.
- Commun. ACM
- Frontiers Comput. Sci.
- J. Circuits Syst. Comput.
- J. Algorithms
- Theor. Comput. Sci.
- VLSI Design
- ESA
- LION
- CEC
- LATIN
- ASP-DAC
- J. Comput. Syst. Sci.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend