UNIT PROPAGATION
Experts
- Felip Manyà
- Djamal Habet
- Carlos Ansótegui
- Federico Heras
- André Abramé
- João Marques-Silva
- Inês Lynce
- Marijn Heule
- Laurent Simon
- Xindi Zhang
- Allen Van Gelder
- Tobias Philipp
- Shaowei Cai
- Armin Biere
- Chu Min Li
- Stefan Szeider
- Mohamed Sami Cherif
- Olaf Beyersdorff
- John Slaney
- Serge Gaspers
- Chu-Min Li
- Toby Walsh
- Neeldhara Misra
- Matthieu Py
- Fan Xiao
- Stanislav Zivný
- Sebastian Ordyniak
- Benjamin Böhm
- Jordi Levy
- Bruno Woltzenlogel Paleo
- Mao Luo
- Fahiem Bacchus
- Zhipeng Lü
- S. Andrew Lanham
- Marc Thurley
- Javier Larrosa
- Xishun Zhao
- Abdul Sattar
- Jordi Planes
Venues
- CoRR
- SAT
- CP
- IJCAI
- ICTAI
- AAAI
- J. Autom. Reason.
- Artif. Intell.
- J. Artif. Intell. Res.
- Electron. Colloquium Comput. Complex.
- Ann. Math. Artif. Intell.
- DAC
- Theor. Comput. Sci.
- Discret. Appl. Math.
- ISAIM
- J. Satisf. Boolean Model. Comput.
- CPAIOR
- ISSCC
- POS@SAT
- DATE
- FLAIRS Conference
- Fundam. Informaticae
- C3S2E
- J. Heuristics
- Satisfiability Problem: Theory and Applications
- Algorithmica
- DSD
- ECAI
- TABLEAUX
- ARIMA J.
- CICM
- FMCAD
- VSTTE
- MIPRO
- ICCSA (4)
- KR
- Int. J. Artif. Intell. Tools
- QCE
- SPLT
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend