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