TRUTH ASSIGNMENT
Experts
- Jesús Giráldez-Cru
- Stefan Szeider
- Carlos Ansótegui
- Cristopher Moore
- Moshe Y. Vardi
- Amin Coja-Oghlan
- André Lanka
- Alexander Pilz
- Houman Homayoun
- Bart Selman
- Andreas Goerdt
- Sebastian Müller
- Jordi Levy
- Dmitry Itsykson
- Rakibul Hassan
- Iddo Tzameret
- Setareh Rafatirad
- Sai Manoj Pudukotai Dinakarrao
- Gabriel Istrate
- Gaurav Kolhe
- Ramón Béjar
- Lyndon Drake
- Toby Walsh
- Carles Mateu
- Jeffrey M. Dudek
- Clifford R. Johnson
- Haixia Jia
- Maria Luisa Bonet
- Demetrios D. Demopoulos
- Hervé Daudé
- Kazuo Iwama
- Harry Buhrman
- Sixue Liu
- John Thornton
- Pedro Almagro-Blanco
- Alexander Knop
- Daoyun Xu
- Abdul Sattar
- Pekka Orponen
Venues
- CoRR
- Electron. Colloquium Comput. Complex.
- SAT
- CP
- AAAI
- SODA
- ISSCC
- FOCS
- Frontiers Comput. Sci.
- Inf. Process. Lett.
- APPROX-RANDOM
- J. Comput. Syst. Sci.
- LICS
- CAV
- Random Struct. Algorithms
- ICS
- COCOON
- IJCAR
- HLDVT
- J. Satisf. Boolean Model. Comput.
- Computational Complexity Conference
- SWAT
- Comb. Probab. Comput.
- FPT
- STOC
- WOCFAI
- ISMVL
- Int. J. Comput. Intell. Syst.
- CCIA
- DNA
- KI
- IFM
- Discret. Appl. Math.
- ISAIM
- Satisfiability Problem: Theory and Applications
- Artif. Intell.
- ICCD
- ECAI
- Electron. Notes Discret. Math.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend