TRUTH ASSIGNMENT
Experts
- Jesús Giráldez-Cru
- Stefan Szeider
- Carlos Ansótegui
- Amin Coja-Oghlan
- Moshe Y. Vardi
- Cristopher Moore
- Sebastian Müller
- Alexander Pilz
- Andreas Goerdt
- Bart Selman
- Dmitry Itsykson
- Houman Homayoun
- Sai Manoj Pudukotai Dinakarrao
- Jordi Levy
- André Lanka
- Rakibul Hassan
- Iddo Tzameret
- Setareh Rafatirad
- Kuldeep S. Meel
- Pekka Orponen
- Hervé Daudé
- Daoyun Xu
- Maria Luisa Bonet
- Jeffrey M. Dudek
- Haixia Jia
- Sixue Liu
- Kazuo Iwama
- John Thornton
- Lyndon Drake
- Benjamin Doerr
- Ramón Béjar
- Demetrios D. Demopoulos
- Armin Biere
- Gaurav Kolhe
- Clifford R. Johnson
- Abdul Sattar
- Pedro Almagro-Blanco
- Abraham Flaxman
- Gabriel Istrate
Venues
- CoRR
- SAT
- Electron. Colloquium Comput. Complex.
- CP
- AAAI
- FOCS
- LICS
- ISSCC
- Random Struct. Algorithms
- SODA
- Inf. Process. Lett.
- APPROX-RANDOM
- Frontiers Comput. Sci.
- J. Comput. Syst. Sci.
- CAV
- Computational Complexity Conference
- DNA
- Nat. Comput.
- CASES (work in progress)
- WOCFAI
- FPT
- Australian Conference on Artificial Intelligence
- Australian Joint Conference on Artificial Intelligence
- ILPS
- KI
- ECAI
- Ann. Math. Artif. Intell.
- ISMVL
- Ann. Pure Appl. Log.
- ICCD
- Electron. J. Comb.
- Artif. Intell.
- J. Log. Comput.
- Discret. Math. Theor. Comput. Sci.
- J. Satisf. Boolean Model. Comput.
- IJCAI
- STOC
- GECCO
- HLDVT
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend