TRUTH ASSIGNMENT
Experts
- Jesús Giráldez-Cru
- Carlos Ansótegui
- Stefan Szeider
- Moshe Y. Vardi
- Cristopher Moore
- Amin Coja-Oghlan
- Rakibul Hassan
- Setareh Rafatirad
- Dmitry Itsykson
- Sai Manoj Pudukotai Dinakarrao
- Jordi Levy
- Sebastian Müller
- Andreas Goerdt
- André Lanka
- Iddo Tzameret
- Alexander Pilz
- Houman Homayoun
- Bart Selman
- Jeffrey M. Dudek
- Harry Buhrman
- Kazuo Iwama
- Daoyun Xu
- Pedro Almagro-Blanco
- Kuldeep S. Meel
- Alexander Knop
- Ramón Béjar
- Carles Mateu
- Sixue Liu
- Armin Biere
- Pekka Orponen
- Gabriel Istrate
- John Thornton
- Haixia Jia
- Toby Walsh
- Cèsar Fernández
- Hervé Daudé
- Benjamin Doerr
- Lyndon Drake
- Gaurav Kolhe
Venues
- CoRR
- Electron. Colloquium Comput. Complex.
- SAT
- CP
- AAAI
- SODA
- Random Struct. Algorithms
- Frontiers Comput. Sci.
- J. Comput. Syst. Sci.
- Inf. Process. Lett.
- FOCS
- APPROX-RANDOM
- LICS
- CAV
- IJCAR
- ECAI
- Electron. J. Comb.
- SWAT
- MFCS
- IJCAI (1)
- CASES (work in progress)
- Int. J. Comput. Intell. Syst.
- J. Univers. Comput. Sci.
- Satisfiability Problem: Theory and Applications
- SAT (Selected Papers
- Computational Complexity Conference
- ICCD
- MICAI (1)
- J. Satisf. Boolean Model. Comput.
- Algorithmica
- Comb. Probab. Comput.
- KI
- DATE
- HLDVT
- SIAM J. Comput.
- FPT
- ISMVL
- IFM
- J. Symb. Log.
Related Topics
Related Keywords
Popularity