SAT ENCODINGS
Experts
- Felip Manyà
- Vijay Ganesh
- Stefan Szeider
- Rolf Drechsler
- Peter J. Stuckey
- Carlos Ansótegui
- Armin Biere
- Michael Codish
- Norbert Manthey
- Daniel Kroening
- Josep Argelich
- Ramón Béjar
- Laurent Simon
- Cèsar Fernández
- Sebastian Ordyniak
- Inês Lynce
- Gilles Audemard
- Jussi Rintanen
- Sharad Malik
- Stephan Eggersglüß
- Naoyuki Tamura
- Mutsunori Banbara
- Roberto Sebastiani
- Bernd Becker
- Jörg Hoffmann
- Miroslav N. Velev
- Görschwin Fey
- Robert Wille
- Pavel Surynek
- Moshe Y. Vardi
- Alba Cabiscol
- Krzysztof Czarnecki
- Saeed Nejati
- Peter Schneider-Kamp
- Stepan Kochemazov
- Josep Suy
- Peter Nightingale
- Miyuki Koshimura
- Bart Selman
Venues
- CoRR
- SAT
- CP
- IJCAI
- AAAI
- ICTAI
- IACR Cryptol. ePrint Arch.
- POS@SAT
- J. Satisf. Boolean Model. Comput.
- Constraints An Int. J.
- DATE
- Electron. Notes Theor. Comput. Sci.
- FMCAD
- J. Autom. Reason.
- Artif. Intell.
- CPAIOR
- Theor. Comput. Sci.
- J. Artif. Intell. Res.
- ICAPS
- ICCAD
- ECAI
- ASP-DAC
- Eur. J. Oper. Res.
- SOCS
- Discret. Appl. Math.
- ISMVL
- DAC
- ISAIM
- LPAR
- Electron. Colloquium Comput. Complex.
- KR
- FroCoS
- SODA
- J. Comput. Syst. Sci.
- Int. J. Artif. Intell. Tools
- FOCS
- Bull. EATCS
- CCIA
- VMCAI
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend