PSEUDO BOOLEAN
Experts
- Jakob Nordström
- Karem A. Sakallah
- Stephan Gocht
- Dusan Knop
- Albert Oliveras
- Marek Piotrów
- Ruben Martins
- Enric Rodríguez-Carbonell
- Jordi Coll
- Stéphane Vialette
- Igor L. Markov
- Peter Nightingale
- Miquel Bofill
- Fadi A. Aloul
- Miyuki Koshimura
- Josep Suy
- Jan Elffers
- Michal Karpinski
- Vasco M. Manquinho
- Hiroshi Fujita
- Guillaume Fertin
- Robert Nieuwenhuis
- Mateu Villaret
- Sébastien Angibaud
- Boris Goldengorin
- Tendai Mapungwana Chikake
- Ignasi Abío
- Bart Bogaerts
- Felix Ulrich-Oltean
- Olivier Roussel
- Jan Arne Telle
- Irena Rusu
- Aolong Zha
- Victor Y. Pan
- Ramón Béjar
- Martin Vatshelle
- Sigve Hortemo Sæther
- Jo Devriendt
- Marcin Wrochna
Venues
- CoRR
- SAT
- CP
- IJCAI
- IEEE Trans. Computers
- Comput. Oper. Res.
- J. Satisf. Boolean Model. Comput.
- Constraints An Int. J.
- AAAI
- Discret. Appl. Math.
- ICTAI
- DAC
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- DATE
- Oper. Res.
- J. Comb. Optim.
- ECAI
- ICCAD
- Eur. J. Oper. Res.
- FOCS
- J. Comput. Biol.
- Ann. Oper. Res.
- Artif. Intell.
- RECOMB-CG
- GECCO
- J. Artif. Intell. Res.
- Bioinform.
- KI
- ISIT
- FCCM
- INFORMS J. Comput.
- Entropy
- Optimization Techniques
- Artif. Intell. Rev.
- FMCAD
- ASP-DAC
- NFM
- IEEE ACM Trans. Comput. Biol. Bioinform.
- Appl. Math. Comput.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend