SATISFIABILITY TESTING
Experts
- Bart Selman
- Pierre Marquis
- Shaowei Cai
- Moshe Y. Vardi
- Kuldeep S. Meel
- Stefan Szeider
- Yang Xu
- Philippe Codognet
- Chu Min Li
- John Thornton
- Guy Van den Broeck
- Allen Van Gelder
- Ashish Sabharwal
- Shaowei Cai
- Alejandro Arbelaez
- Peter J. Stuckey
- Kaile Su
- Abdul Sattar
- Paul Beame
- Camillo Fiorentini
- Angelika Kimmig
- Jérôme Lang
- Christian J. Muise
- Yuefei Sui
- Stefan Woltran
- Jun Gu
- Duc Nghia Pham
- Luciano Serafini
- Antti Kuusisto
- Johannes Klaus Fichte
- Mauricio G. C. Resende
- Sanjit A. Seshia
- Holger H. Hoos
- Armin Biere
- Henry A. Kautz
- Markus Hecher
- Paolo Liberatore
- Wanxia Wei
- Christos H. Papadimitriou
Venues
- CoRR
- SAT
- AAAI
- IJCAI
- Notre Dame J. Formal Log.
- Theor. Comput. Sci.
- Stud Logica
- J. Log. Comput.
- Electron. Colloquium Comput. Complex.
- J. Symb. Log.
- Artif. Intell.
- Math. Log. Q.
- Log. J. IGPL
- CP
- J. Autom. Reason.
- TABLEAUX
- J. Heuristics
- Arch. Math. Log.
- Ann. Pure Appl. Log.
- ICTAI
- Ann. Math. Artif. Intell.
- KR
- ACM Trans. Comput. Log.
- ECAI
- J. Philos. Log.
- Inf. Process. Lett.
- Australian Conference on Artificial Intelligence
- LICS
- CSL
- MFCS
- GECCO
- CADE
- DATE
- AAAI/IAAI
- IACR Cryptol. ePrint Arch.
- Parallel Comput.
- Inf. Comput.
- Discret. Appl. Math.
- Constraints An Int. J.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend