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
- Alba Cabiscol
- Takayuki Sakai
- Suguru Tamaki
- Kazuhisa Seto
- Inês Lynce
- Anders Yeo
- Stefan Szeider
- Anke van Zuylen
- Jordi Levy
- Noureddine Bouhmala
- Adi Avidor
- Gregory Z. Gutin
- Uri Zwick
- Christian Schilling
- Thomas Vigouroux
- Mohamed El-bachir Menai
- Takao Asano
- David Monniaux
- Thomas Schiex
- Lyndon Drake
- Alexander S. Kulikov
- Laurent Mounier
- Simon de Givry
- Mark Jones
- Gabriela Ochoa
- Carlos Ansótegui
- Holger H. Hoos
- Akihiro Fujiwara
- Matthias Heizmann
Venues
- CoRR
- SAT
- CP
- ICTAI
- J. Satisf. Boolean Model. Comput.
- AAAI
- Electron. Colloquium Comput. Complex.
- Computational Complexity Conference
- J. Artif. Intell. Res.
- Theor. Comput. Sci.
- Theory Comput. Syst.
- IPEC
- ISMVL
- ISAAC
- Discret. Appl. Math.
- J. Heuristics
- Artif. Intell.
- IJCAI
- Australian Conference on Artificial Intelligence
- Canadian Conference on AI
- WAOA
- LATIN
- Frontiers Appl. Math. Stat.
- DPM/SETOP
- KES
- CCIA
- ACM J. Exp. Algorithmics
- ICACS
- GECCO (Companion)
- Discret. Optim.
- CIAC
- SODA
- Int. J. Comb. Optim. Probl. Informatics
- MBMV
- VLSI-SoC
- Vampire Workshop
- CANDAR
- Parallel Process. Lett.
- Electron. Notes Discret. Math.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend