PSEUDO BOOLEAN
Experts
- Jakob Nordström
- Stephan Gocht
- Karem A. Sakallah
- Marek Piotrów
- Enric Rodríguez-Carbonell
- Dusan Knop
- Albert Oliveras
- Ruben Martins
- Mateu Villaret
- Stéphane Vialette
- Vasco M. Manquinho
- Jan Elffers
- Josep Suy
- Robert Nieuwenhuis
- Michal Karpinski
- Jordi Coll
- Miquel Bofill
- Fadi A. Aloul
- Miyuki Koshimura
- Sébastien Angibaud
- Igor L. Markov
- Peter Nightingale
- Guillaume Fertin
- Hiroshi Fujita
- Jo Devriendt
- Victor Y. Pan
- Jan Arne Telle
- Bart Bogaerts
- Olivier Bailleux
- Michal Pilipczuk
- Ignasi Abío
- Yu Lin-Kriz
- Danny Nam
- Ramón Béjar
- Aolong Zha
- Marcin Wrochna
- Arathi Ramani
- Irena Rusu
- Martin Vatshelle
Venues
- CoRR
- SAT
- IJCAI
- CP
- IEEE Trans. Computers
- J. Satisf. Boolean Model. Comput.
- AAAI
- Comput. Oper. Res.
- Constraints An Int. J.
- DATE
- Discret. Appl. Math.
- ICTAI
- Oper. Res.
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- DAC
- Ann. Oper. Res.
- J. Comput. Biol.
- Eur. J. Oper. Res.
- ICCAD
- FOCS
- ECAI
- Artif. Intell. Rev.
- IEEE ACM Trans. Comput. Biol. Bioinform.
- FMCAD
- GECCO
- Entropy
- KI
- BCB
- Artif. Intell.
- INFORMS J. Comput.
- Comput. J.
- ISIT
- ASP-DAC
- ICIC (1)
- J. Artif. Intell. Res.
- NFM
- RECOMB-CG
- Optimization Techniques
- FCCM
Related Topics
Related Keywords
Popularity