UNIT PROPAGATION
Experts
- Felip Manyà
- Djamal Habet
- Federico Heras
- Inês Lynce
- Carlos Ansótegui
- André Abramé
- João Marques-Silva
- Stefan Szeider
- Xindi Zhang
- Mohamed Sami Cherif
- Shaowei Cai
- Chu Min Li
- Allen Van Gelder
- Marijn Heule
- Tobias Philipp
- Laurent Simon
- Armin Biere
- Fahiem Bacchus
- Mao Luo
- Sebastian Ordyniak
- Jordi Levy
- Stanislav Zivný
- Chu-Min Li
- Olaf Beyersdorff
- Matthieu Py
- Toby Walsh
- John Slaney
- Neeldhara Misra
- Zhipeng Lü
- Fan Xiao
- Serge Gaspers
- Benjamin Böhm
- Bruno Woltzenlogel Paleo
- Alexis de Colnet
- David Mitchell
- Albert Atserias
- Roger Villemaire
- Venkatesan Guruswami
- Hans Tompits
Venues
- CoRR
- SAT
- CP
- IJCAI
- ICTAI
- AAAI
- J. Autom. Reason.
- Theor. Comput. Sci.
- J. Artif. Intell. Res.
- Artif. Intell.
- DAC
- Ann. Math. Artif. Intell.
- Electron. Colloquium Comput. Complex.
- Fundam. Informaticae
- CPAIOR
- ISAIM
- DATE
- FLAIRS Conference
- J. Satisf. Boolean Model. Comput.
- POS@SAT
- ISSCC
- Discret. Appl. Math.
- CAV
- Intelligent Information Systems
- PRICAI
- ICCV Workshops
- ESA
- DSD
- STAIRS
- Electron. Notes Theor. Comput. Sci.
- Int. J. Comput. Intell. Syst.
- EPIA
- SC²@ISSAC
- AAAI/IAAI
- ITCS
- SOFSEM (1)
- Log. Methods Comput. Sci.
- LION
- Algorithms
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend