UNIT PROPAGATION
Experts
- Felip Manyà
- Djamal Habet
- Carlos Ansótegui
- André Abramé
- Federico Heras
- João Marques-Silva
- Inês Lynce
- Marijn Heule
- Allen Van Gelder
- Tobias Philipp
- Shaowei Cai
- Armin Biere
- Laurent Simon
- Mohamed Sami Cherif
- Chu Min Li
- Stefan Szeider
- Xindi Zhang
- Stanislav Zivný
- Toby Walsh
- Chu-Min Li
- Fan Xiao
- Neeldhara Misra
- Serge Gaspers
- Matthieu Py
- Jordi Levy
- Mao Luo
- Sebastian Ordyniak
- Fahiem Bacchus
- John Slaney
- Benjamin Böhm
- Bruno Woltzenlogel Paleo
- Olaf Beyersdorff
- Zhipeng Lü
- Roger Villemaire
- Marc Thurley
- Sima Jamali
- Linda van Norden
- Moshe Y. Vardi
- Xishun Zhao
Venues
- CoRR
- SAT
- CP
- IJCAI
- ICTAI
- AAAI
- J. Autom. Reason.
- Ann. Math. Artif. Intell.
- Artif. Intell.
- J. Artif. Intell. Res.
- Electron. Colloquium Comput. Complex.
- DAC
- Theor. Comput. Sci.
- Fundam. Informaticae
- FLAIRS Conference
- ISSCC
- J. Satisf. Boolean Model. Comput.
- Discret. Appl. Math.
- POS@SAT
- ISAIM
- DATE
- CPAIOR
- Satisfiability Problem: Theory and Applications
- FPT
- ICCSA (4)
- Intelligent Information Systems
- WOCFAI
- EuroGP
- LION
- ICLP (Technical Communications)
- Log. Methods Comput. Sci.
- IJCCI (ECTA-FCTA)
- Algorithms
- VLSI Design
- Int. J. Artif. Intell. Tools
- ISMVL
- WHICEB
- ILPS
- ACM Southeast Regional Conference
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend