Home Advanced Search

Advanced Search - Page 1

Complexity of Constraints: An Overview of Current Research Themes
  • PDF
  • English
  • Year: 2008
  • Author: Nadia Creignou, Phokion G. Kolaitis, Heribert Vollmer (eds.)
Methods and Applications of Artificial Intelligence: Third Hellenic Conference on AI, SETN 2004, Samos, Greece, May 5-8, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Phokion G. Kolaitis (auth.), George A. Vouros, Themistoklis Panayiotopoulos (eds.)
Database Theory — ICDT '97: 6th International Conference Delphi, Greece, January 8–10, 1997 Proceedings
  • PDF
  • English
  • Year: 1997
  • Author: Serge Abiteboul (auth.), Foto Afrati, Phokion Kolaitis (eds.)
Theory and Applications of Satisfiability Testing – SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Nadia Creignou, Daniel Le Berre (eds.)
Finite Model Theory and Its Applications
  • PDF
  • English
  • Year: 2007
  • Author: Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein
Finite model theory and its applications
  • PDF
  • English
  • Year: 2007
  • Author: Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein
Finite Model Theory and Its Applications
  • PDF
  • English
  • Year: 2007
  • Author: Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein
Dependence Logic: Theory and Applications
  • PDF
  • English
  • Year: 2016
  • Author: Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer (eds.)
Complexity classifications of Boolean constraint satisfaction problems
  • DJVU
  • English
  • Year: 1987
  • Author: Nadia Creignou, Sanjeev Khanna, Madhu Sudan
Introduction to Circuit Complexity: A Uniform Approach
  • PDF
  • English
  • Year: 1999
  • Author: Dr. Heribert Vollmer (auth.)
search