TRUTH ASSIGNMENT
Experts
- Stefan Szeider
- Jesús Giráldez-Cru
- Carlos Ansótegui
- Moshe Y. Vardi
- Cristopher Moore
- Amin Coja-Oghlan
- Rakibul Hassan
- Houman Homayoun
- Andreas Goerdt
- Dmitry Itsykson
- Bart Selman
- André Lanka
- Setareh Rafatirad
- Iddo Tzameret
- Jordi Levy
- Sebastian Müller
- Sai Manoj Pudukotai Dinakarrao
- Alexander Pilz
- Pekka Orponen
- Sixue Liu
- Toby Walsh
- Harry Buhrman
- Lyndon Drake
- Abdul Sattar
- Jeffrey M. Dudek
- Gaurav Kolhe
- Hervé Daudé
- Pedro Almagro-Blanco
- Daoyun Xu
- Xishun Zhao
- Abraham Flaxman
- Maria Luisa Bonet
- Kuldeep S. Meel
- Kazuo Iwama
- John Thornton
- Armin Biere
- Carles Mateu
- Haixia Jia
- Clifford R. Johnson
Venues
- CoRR
- Electron. Colloquium Comput. Complex.
- SAT
- AAAI
- CP
- Inf. Process. Lett.
- ISSCC
- CAV
- APPROX-RANDOM
- Random Struct. Algorithms
- FOCS
- J. Comput. Syst. Sci.
- Frontiers Comput. Sci.
- SODA
- LICS
- Discret. Math. Theor. Comput. Sci.
- CCIA
- Computational Complexity Conference
- MFCS
- SWAT
- Discret. Appl. Math.
- ISMVL
- IFM
- AI&M
- MICAI (1)
- J. Univers. Comput. Sci.
- Electron. J. Comb.
- Comb. Probab. Comput.
- COCOON
- Nat. Comput.
- Ann. Pure Appl. Log.
- POS@SAT
- J. Satisf. Boolean Model. Comput.
- SAT (Selected Papers
- WOCFAI
- J. Log. Comput.
- Ann. Math. Artif. Intell.
- IJCAI
- Australian Conference on Artificial Intelligence
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend