PROPOSITIONAL SATISFIABILITY
Experts
- Armin Biere
- Stefan Szeider
- Felip Manyà
- Vijay Ganesh
- Chu Min Li
- Laurent Simon
- Toby Walsh
- Yang Xu
- Djamal Habet
- Lakhdar Sais
- Peter J. Stuckey
- Pascal Van Hentenryck
- Carlos Ansótegui
- Norbert Manthey
- Inês Lynce
- Holger H. Hoos
- Karem A. Sakallah
- Gilles Audemard
- Roberto Sebastiani
- Shaowei Cai
- Martina Seidl
- Armando Tacchella
- Jakob Nordström
- Sharad Malik
- João P. Marques Silva
- John Thornton
- Nadia Creignou
- Saïd Jabbour
- Marijn Heule
- João Marques-Silva
- Bernd Becker
- Oliver Kullmann
- Enrico Giunchiglia
- Jesús Giráldez-Cru
- Pavel Surynek
- Steven D. Prestwich
- Daniel Le Berre
- Matti Järvisalo
- Marijn J. H. Heule
Venues
- CoRR
- SAT
- CP
- IJCAI
- AAAI
- ICTAI
- J. Autom. Reason.
- Constraints An Int. J.
- CPAIOR
- Electron. Colloquium Comput. Complex.
- J. Satisf. Boolean Model. Comput.
- Artif. Intell.
- Theor. Comput. Sci.
- ECAI
- CADE
- Discret. Appl. Math.
- FMCAD
- DATE
- POS@SAT
- Ann. Math. Artif. Intell.
- DAC
- Inf. Process. Lett.
- KR
- Notre Dame J. Formal Log.
- AAAI/IAAI
- LPAR
- Stud Logica
- Fundam. Informaticae
- SODA
- ICCAD
- ACM Trans. Comput. Log.
- Electron. Notes Theor. Comput. Sci.
- J. Symb. Log.
- IJCAR
- Comput. Oper. Res.
- J. Log. Comput.
- SAT (Selected Papers
- J. Artif. Intell. Res.
- TABLEAUX
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend