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