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
- Alba Cabiscol
- Inês Lynce
- Kazuhisa Seto
- Suguru Tamaki
- Noureddine Bouhmala
- Jordi Levy
- Stefan Szeider
- Anders Yeo
- Adi Avidor
- Uri Zwick
- Gregory Z. Gutin
- Anke van Zuylen
- Robert Crowston
- Mark Jones
- Thomas Schiex
- Cristian Ene
- Hantao Zhang
- Haiou Shen
- Christian Schilling
- Henning Fernau
- Carlos Ansótegui
- Luis Otavio Rigo Junior
- Thomas Vigouroux
- Albert Oliveras
- Jianer Chen
- Matthias Poloczek
- Alexander S. Kulikov
- Mohamed El-bachir Menai
Venues
- CoRR
- SAT
- CP
- J. Satisf. Boolean Model. Comput.
- ICTAI
- AAAI
- Theory Comput. Syst.
- Electron. Colloquium Comput. Complex.
- IPEC
- Computational Complexity Conference
- J. Artif. Intell. Res.
- Theor. Comput. Sci.
- J. Heuristics
- Australian Conference on Artificial Intelligence
- IJCAI
- Discret. Appl. Math.
- ISMVL
- LATIN
- Artif. Intell.
- Canadian Conference on AI
- ISAAC
- WAOA
- J. Discrete Algorithms
- Int. J. Mach. Learn. Cybern.
- Int. J. Artif. Intell. Tools
- Ann. Math. Artif. Intell.
- Q-SET@QCE
- Eur. J. Oper. Res.
- SACMAT
- AI Commun.
- Int. J. Comb. Optim. Probl. Informatics
- CIAC
- VLSI-SoC
- SIGCOMM Posters and Demos
- Intell. Decis. Technol.
- Stud Logica
- Artificial Evolution
- Inf. Process. Lett.
- FLAIRS Conference
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend