UNIT PROPAGATION
Experts
- Felip Manyà
- Djamal Habet
- Inês Lynce
- Federico Heras
- Carlos Ansótegui
- André Abramé
- João Marques-Silva
- Tobias Philipp
- Stefan Szeider
- Shaowei Cai
- Marijn Heule
- Allen Van Gelder
- Mohamed Sami Cherif
- Laurent Simon
- Xindi Zhang
- Armin Biere
- Chu Min Li
- Serge Gaspers
- Bruno Woltzenlogel Paleo
- Benjamin Böhm
- Zhipeng Lü
- Jordi Levy
- Stanislav Zivný
- Fan Xiao
- Toby Walsh
- Sebastian Ordyniak
- Fahiem Bacchus
- Olaf Beyersdorff
- Mao Luo
- John Slaney
- Neeldhara Misra
- Chu-Min Li
- Matthieu Py
- Linda van Norden
- Abdul Sattar
- Javier Larrosa
- Josep Argelich
- Anbulagan
- Benjamin Kiesl
Venues
- CoRR
- SAT
- CP
- IJCAI
- ICTAI
- J. Autom. Reason.
- AAAI
- DAC
- Artif. Intell.
- J. Artif. Intell. Res.
- Theor. Comput. Sci.
- Ann. Math. Artif. Intell.
- Electron. Colloquium Comput. Complex.
- Discret. Appl. Math.
- FLAIRS Conference
- J. Satisf. Boolean Model. Comput.
- DATE
- POS@SAT
- ISAIM
- CPAIOR
- Fundam. Informaticae
- ICCV Workshops
- ICLP
- SOCS
- KES
- WOCFAI
- Electron. Notes Theor. Comput. Sci.
- GCAI
- FPT
- KR
- ISMVL
- ICLP (Technical Communications)
- J. Comput. Syst. Sci.
- Algorithmica
- VLSI Design
- ITCS
- WHICEB
- Log. J. IGPL
- Intelligent Information Systems
Related Topics
Related Keywords
Popularity