MAX SAT SOLVER
Experts
- Felip Manyà
- Djamal Habet
- Josep Argelich
- Federico Heras
- Javier Larrosa
- Chu Min Li
- Mohamed Sami Cherif
- Jordi Planes
- André Abramé
- Matthieu Py
- Takayuki Sakai
- Kazuhisa Seto
- Suguru Tamaki
- Alba Cabiscol
- Inês Lynce
- Anders Yeo
- Stefan Szeider
- Jordi Levy
- Anke van Zuylen
- Noureddine Bouhmala
- Adi Avidor
- Gregory Z. Gutin
- Uri Zwick
- Thomas Vigouroux
- Christian Schilling
- Mohamed El-bachir Menai
- David Monniaux
- Takao Asano
- Thomas Schiex
- Alexander S. Kulikov
- Lyndon Drake
- Simon de Givry
- Laurent Mounier
- Mark Jones
- Holger H. Hoos
- Carlos Ansótegui
- Gabriela Ochoa
- Akihiro Fujiwara
- Albert Oliveras
Venues
- CoRR
- SAT
- CP
- ICTAI
- J. Satisf. Boolean Model. Comput.
- AAAI
- Theor. Comput. Sci.
- Theory Comput. Syst.
- IPEC
- Electron. Colloquium Comput. Complex.
- Computational Complexity Conference
- J. Artif. Intell. Res.
- IJCAI
- Australian Conference on Artificial Intelligence
- Canadian Conference on AI
- WAOA
- LATIN
- ISMVL
- Artif. Intell.
- ISAAC
- Discret. Appl. Math.
- J. Heuristics
- SOFSEM (1)
- FMCAD
- Algorithmica
- SACMAT
- IBERAMIA
- LION
- SIAM J. Sci. Comput.
- Q-SET@QCE
- SBIA
- CSR
- AI Commun.
- WALCOM
- GECCO Companion
- ICAART (1)
- IC-AI
- GECCO
- Artificial Evolution
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend