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