MAX SAT SOLVER
Experts
- Felip Manyà
- Djamal Habet
- Josep Argelich
- Federico Heras
- Javier Larrosa
- Mohamed Sami Cherif
- Chu Min Li
- Jordi Planes
- Matthieu Py
- André Abramé
- Alba Cabiscol
- Inês Lynce
- Suguru Tamaki
- Kazuhisa Seto
- Takayuki Sakai
- Stefan Szeider
- Anke van Zuylen
- Anders Yeo
- Uri Zwick
- Jordi Levy
- Gregory Z. Gutin
- Adi Avidor
- Noureddine Bouhmala
- Cristian Ene
- Mark Jones
- Takao Asano
- Akihiro Fujiwara
- Matthias Heizmann
- David Monniaux
- Maria Luisa Bonet
- Christian Schilling
- Alexander S. Kulikov
- Mohamed Batouche
- Thomas Vigouroux
- Haiou Shen
- Holger H. Hoos
- Valmir Carneiro Barbosa
- Daniel Tischner
- Jianer Chen
Venues
- CoRR
- SAT
- CP
- ICTAI
- J. Satisf. Boolean Model. Comput.
- AAAI
- J. Artif. Intell. Res.
- Theor. Comput. Sci.
- IPEC
- Theory Comput. Syst.
- Electron. Colloquium Comput. Complex.
- Computational Complexity Conference
- ISAAC
- LATIN
- WAOA
- IJCAI
- Artif. Intell.
- Canadian Conference on AI
- Discret. Appl. Math.
- Australian Conference on Artificial Intelligence
- ISMVL
- J. Heuristics
- Int. J. Comb. Optim. Probl. Informatics
- KES
- LION
- ICACS
- SIAM J. Sci. Comput.
- Vampire Workshop
- J. Comb. Optim.
- SARA
- Inf. Process. Lett.
- Cliques, Coloring, and Satisfiability
- Algorithmica
- Log. Methods Comput. Sci.
- Electron. Notes Discret. Math.
- Int. J. Mach. Learn. Cybern.
- IC-AI
- SIGCOMM Posters and Demos
- ESA
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend