TRUTH ASSIGNMENT
Experts
- Carlos Ansótegui
- Jesús Giráldez-Cru
- Stefan Szeider
- Moshe Y. Vardi
- Cristopher Moore
- Amin Coja-Oghlan
- Bart Selman
- Sebastian Müller
- Setareh Rafatirad
- Sai Manoj Pudukotai Dinakarrao
- André Lanka
- Andreas Goerdt
- Rakibul Hassan
- Houman Homayoun
- Jordi Levy
- Alexander Pilz
- Iddo Tzameret
- Dmitry Itsykson
- Kuldeep S. Meel
- Gaurav Kolhe
- Demetrios D. Demopoulos
- Carles Mateu
- Abraham Flaxman
- Kazuo Iwama
- Maria Luisa Bonet
- John Thornton
- Pedro Almagro-Blanco
- Gabriel Istrate
- Armin Biere
- Lyndon Drake
- Xishun Zhao
- Hervé Daudé
- Alexander Knop
- Sixue Liu
- Toby Walsh
- Haixia Jia
- Daoyun Xu
- Benjamin Doerr
- Cèsar Fernández
Venues
- CoRR
- Electron. Colloquium Comput. Complex.
- SAT
- CP
- AAAI
- SODA
- CAV
- FOCS
- Frontiers Comput. Sci.
- APPROX-RANDOM
- LICS
- J. Comput. Syst. Sci.
- ISSCC
- Random Struct. Algorithms
- Inf. Process. Lett.
- COCOON
- SWAT
- GECCO
- MFCS
- Ann. Math. Artif. Intell.
- J. Univers. Comput. Sci.
- Satisfiability Problem: Theory and Applications
- ISMVL
- DATE
- AI&M
- Computational Complexity Conference
- DNA
- Australian Joint Conference on Artificial Intelligence
- STOC
- CCIA
- Ann. Pure Appl. Log.
- Australian Conference on Artificial Intelligence
- Discret. Appl. Math.
- SAT (Selected Papers
- MICAI (1)
- J. Satisf. Boolean Model. Comput.
- Discret. Math. Theor. Comput. Sci.
- WOCFAI
- ISQED
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend