UNSATISFIABLE CORES
Experts
- Felip Manyà
- Chu Min Li
- Josep Argelich
- Federico Heras
- Jaroslav Bendík
- Inês Lynce
- Stefan Szeider
- Viktor Schuppan
- Alexander Nadel
- Matti Järvisalo
- Hans Kleine Büning
- Mohamed Sami Cherif
- Jordi Planes
- Matthieu Py
- Jianmin Zhang
- Zhu Zhu
- Djamal Habet
- Karem A. Sakallah
- Mario Alviano
- João P. Marques Silva
- João Marques-Silva
- Carlos Ansótegui
- Jordi Levy
- Sikun Li
- Ofer Strichman
- Peter J. Stuckey
- ShengYu Shen
- Xishun Zhao
- Carmine Dodaro
- Roberto Sebastiani
- Seulkee Baek
- Venkatesh Raman
- Kazuo Iwama
- Alberto Griggio
- Matthias Heizmann
- Alba Cabiscol
- Armin Biere
- Naomi Nishimura
- Ziyad Hanna
Venues
- CoRR
- SAT
- CP
- ICTAI
- Electron. Colloquium Comput. Complex.
- J. Satisf. Boolean Model. Comput.
- IJCAI
- Discret. Appl. Math.
- CCIA
- AAAI
- ISMVL
- Ann. Math. Artif. Intell.
- COCOON
- TACAS (1)
- Theor. Comput. Sci.
- Inf. Process. Lett.
- FMCAD
- J. Artif. Intell. Res.
- Int. J. Artif. Intell. Tools
- Eur. J. Comb.
- Theory Pract. Log. Program.
- SIAM J. Comput.
- J. Comb. Optim.
- Log. Methods Comput. Sci.
- ASP-DAC
- IPEC
- Ann. Pure Appl. Log.
- J. Comb. Theory, Ser. A
- JELIA
- ASE
- DATE
- SODA
- SIAM J. Discret. Math.
- Computational Complexity Conference
- FOCS
- FLAIRS Conference
- AISTATS
- J. Heuristics
- Theory Comput. Syst.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend