UNIT PROPAGATION
Experts
- Felip Manyà
- Djamal Habet
- João Marques-Silva
- Inês Lynce
- André Abramé
- Federico Heras
- Carlos Ansótegui
- Tobias Philipp
- Xindi Zhang
- Allen Van Gelder
- Laurent Simon
- Marijn Heule
- Stefan Szeider
- Mohamed Sami Cherif
- Armin Biere
- Chu Min Li
- Shaowei Cai
- Matthieu Py
- Fan Xiao
- Serge Gaspers
- Neeldhara Misra
- Toby Walsh
- Chu-Min Li
- John Slaney
- Olaf Beyersdorff
- Fahiem Bacchus
- Zhipeng Lü
- Mao Luo
- Benjamin Böhm
- Bruno Woltzenlogel Paleo
- Jordi Levy
- Sebastian Ordyniak
- Stanislav Zivný
- Luis Otavio Rigo Junior
- David Mitchell
- Hans Tompits
- Ramón Béjar
- Anbulagan
- Amir Abboud
Venues
- CoRR
- SAT
- CP
- IJCAI
- ICTAI
- AAAI
- J. Autom. Reason.
- J. Artif. Intell. Res.
- Electron. Colloquium Comput. Complex.
- Artif. Intell.
- DAC
- Theor. Comput. Sci.
- Ann. Math. Artif. Intell.
- J. Satisf. Boolean Model. Comput.
- CPAIOR
- ISSCC
- Discret. Appl. Math.
- ISAIM
- Fundam. Informaticae
- DATE
- POS@SAT
- FLAIRS Conference
- Electron. Notes Theor. Comput. Sci.
- SODA
- Computational Complexity Conference
- Discret. Optim.
- ITCS
- Algorithms
- Log. J. IGPL
- SC²@ISSAC
- ACM Southeast Regional Conference
- HPCA
- SOCS
- ITP
- Int. J. Comput. Intell. Syst.
- Integr.
- LPAR
- WOCFAI
- ISMVL
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend