PSEUDO BOOLEAN CONSTRAINTS
Experts
- Luís Moniz Pereira
- Enrico Pontelli
- Peter J. Stuckey
- Gopal Gupta
- Agostino Dovier
- Evelina Lamma
- Jakob Nordström
- Tran Cao Son
- Fabrizio Riguzzi
- Michael Codish
- Andrea Omicini
- Dale Miller
- V. S. Subrahmanian
- Torsten Schaub
- Keehang Kwon
- Stefan Szeider
- Mario Rodríguez-Artalejo
- Paul Tarau
- Laura Giordano
- Manuel V. Hermenegildo
- Roberta Calegari
- Jesús Medina
- Josep Suy
- Robert A. Kowalski
- Stephan Gocht
- Rafael del Vado Vírseda
- Miquel Bofill
- Ekaterina Komendantskaya
- José Júlio Alferes
- Mateu Villaret
- Roman Barták
- Jordi Coll
- Albert Oliveras
- Enric Rodríguez-Carbonell
- Ignasi Abío
- Ari Saptawijaya
- Mehmet A. Orgun
- Francisco Javier López-Fraguas
- Despoina Magka
Venues
- CoRR
- ICLP
- Theory Pract. Log. Program.
- J. Log. Program.
- SAT
- LPNMR
- IJCAI
- SLP
- AAAI
- ILPS
- FLOPS
- PADL
- ELP
- CP
- Theor. Comput. Sci.
- JICSLP
- New Gener. Comput.
- WLP
- ICLP (Technical Communications)
- J. Log. Comput.
- ALP
- PPDP
- ICTAI
- ECAI
- CPAIOR
- Electron. Notes Theor. Comput. Sci.
- LP
- ACM Trans. Comput. Log.
- J. Autom. Reason.
- ALPUK
- LPAR
- Fuzzy Sets Syst.
- APPIA-GULP-PRODE
- J. Satisf. Boolean Model. Comput.
- FGCS
- Artif. Intell.
- SIGART Newsl.
- KR
- DATE
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend