default search action
Phokion G. Kolaitis
Person information
- affiliation: University of California, Santa Cruz, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j70]Benny Kimelfeld, Phokion G. Kolaitis:
A Unifying Framework for Incompleteness, Inconsistency, and Uncertainty in Databases. Commun. ACM 67(3): 74-83 (2024) - [j69]Albert Atserias, Phokion G. Kolaitis:
Consistency of Relations over Monoids. Proc. ACM Manag. Data 2(2): 107 (2024) - [c124]Balder ten Cate, Victor Dalmau, Phokion G. Kolaitis, Wei-Lin Wu:
When Do Homomorphism Counts Help in Query Algorithms? ICDT 2024: 8:1-8:20 - [c123]Marco Carmosino, Ronald Fagin, Neil Immerman, Phokion G. Kolaitis, Jonathan Lenchner, Rik Sengupta:
On the Number of Quantifiers Needed to Define Boolean Functions. MFCS 2024: 34:1-34:16 - [c122]Ronald Fagin, Phokion G. Kolaitis, Domenico Lembo, Lucian Popa, Federico Scafoglieri:
Combining Entity Resolution and Query Answering in Ontologies: A Formal Conceptual Framework. SEBD 2024: 633-642 - [i38]Marco Carmosino, Ronald Fagin, Neil Immerman, Phokion G. Kolaitis, Jonathan Lenchner, Rik Sengupta, R. Ryan Williams:
Parallel Play Saves Quantifiers. CoRR abs/2402.10293 (2024) - [i37]Marco Carmosino, Ronald Fagin, Neil Immerman, Phokion G. Kolaitis, Jonathan Lenchner, Rik Sengupta:
On the Number of Quantifiers Needed to Define Boolean Functions. CoRR abs/2407.00688 (2024) - [i36]Phokion G. Kolaitis, Andreas Pieris:
Characterizing Data Dependencies Then and Now. CoRR abs/2408.01109 (2024) - 2023
- [j68]Jing Ao, Zehui Cheng, Rada Chirkova, Phokion G. Kolaitis:
Theory and Practice of Relational-to-RDF Temporal Data Exchange and Query Answering. ACM J. Data Inf. Qual. 15(2): 15:1-15:27 (2023) - [c121]Ronald Fagin, Phokion G. Kolaitis, Domenico Lembo, Lucian Popa, Federico Scafoglieri:
A Framework for Combining Entity Resolution and Query Answering in Knowledge Bases. KR 2023: 229-239 - [i35]Marco Carmosino, Ronald Fagin, Neil Immerman, Phokion G. Kolaitis, Jonathan Lenchner, Rik Sengupta:
A Finer Analysis of Multi-Structural Games and Beyond. CoRR abs/2301.13329 (2023) - [i34]Ronald Fagin, Phokion G. Kolaitis, Domenico Lembo, Lucian Popa, Federico Scafoglieri:
A Framework for Combining Entity Resolution and Query Answering in Knowledge Bases. CoRR abs/2303.07469 (2023) - [i33]Balder ten Cate, Víctor Dalmau, Phokion G. Kolaitis, Wei-Lin Wu:
When do homomorphism counts help in query algorithms? CoRR abs/2304.06294 (2023) - [i32]Albert Atserias, Phokion G. Kolaitis:
Consistency of Relations over Monoids. CoRR abs/2312.02023 (2023) - 2022
- [j67]Albert Atserias, Phokion G. Kolaitis:
Structure and Complexity of Bag Consistency. SIGMOD Rec. 51(1): 78-85 (2022) - [c120]Akhil A. Dixit, Phokion G. Kolaitis:
Consistent Answers of Aggregation Queries via SAT. ICDE 2022: 924-937 - [i31]Erich Grädel, Phokion G. Kolaitis, Marc Noy:
Logic and Random Discrete Structures (Dagstuhl Seminar 22061). Dagstuhl Reports 12(2): 1-16 (2022) - [i30]Phokion G. Kolaitis, Andrej E. Romashchenko, Milan Studený, Dan Suciu, Tobias Boege:
Algorithmic Aspects of Information Theory (Dagstuhl Seminar 22301). Dagstuhl Reports 12(7): 180-204 (2022) - 2021
- [j66]Zehui Cheng, Phokion G. Kolaitis:
Universal solutions for temporal data exchange. Inf. Comput. 281: 104793 (2021) - [j65]John Livieratos, Phokion G. Kolaitis, Lefteris M. Kirousis:
On the Computational Complexity of Non-Dictatorial Aggregation. J. Artif. Intell. Res. 72: 137-183 (2021) - [j64]Vishal Chakraborty, Theo Delemazure, Benny Kimelfeld, Phokion G. Kolaitis, Kunal Relia, Julia Stoyanovich:
Algorithmic Techniques for Necessary and Possible Winners. Trans. Data Sci. 2(3): 22:1-22:23 (2021) - [j63]Mahmoud Abo Khamis, Phokion G. Kolaitis, Hung Q. Ngo, Dan Suciu:
Bag Query Containment and Information Theory. ACM Trans. Database Syst. 46(3): 12:1-12:39 (2021) - [c119]Shqiponja Ahmetaj, Vasilis Efthymiou, Ronald Fagin, Phokion G. Kolaitis, Chuan Lei, Fatma Özcan, Lucian Popa:
Ontology-Enriched Query Answering on Relational Databases. AAAI 2021: 15247-15254 - [c118]Vishal Chakraborty, Phokion G. Kolaitis:
Classifying the Complexity of the Possible Winner Problem on Partial Chains. AAMAS 2021: 297-305 - [c117]Marco Console, Phokion G. Kolaitis, Andreas Pieris:
Model-theoretic Characterizations of Rule-based Ontologies. Description Logics 2021 - [c116]Albert Atserias, Phokion G. Kolaitis, Wei-Lin Wu:
On the Expressive Power of Homomorphism Counts. LICS 2021: 1-13 - [c115]Albert Atserias, Phokion G. Kolaitis:
Structure and Complexity of Bag Consistency. PODS 2021: 247-259 - [c114]Marco Console, Phokion G. Kolaitis, Andreas Pieris:
Model-theoretic Characterizations of Rule-based Ontologies. PODS 2021: 416-428 - [c113]Phokion G. Kolaitis:
Computational Social Choice and Incomplete Information. SEBD 2021: ii - [c112]Akhil A. Dixit, Phokion G. Kolaitis:
CAvSAT: Answering Aggregation Queries over Inconsistent Databases via SAT Solving. SIGMOD Conference 2021: 2701-2705 - [i29]Albert Atserias, Phokion G. Kolaitis, Wei-Lin Wu:
On the Expressive Power of Homomorphism Counts. CoRR abs/2101.12733 (2021) - [i28]Akhil A. Dixit, Phokion G. Kolaitis:
Consistent Answers of Aggregation Queries using SAT Solvers. CoRR abs/2103.03314 (2021) - 2020
- [j62]Phokion G. Kolaitis, Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov:
On the Language of Nested Tuple Generating Dependencies. ACM Trans. Database Syst. 45(2): 8:1-8:59 (2020) - [c111]Jing Ao, Zehui Cheng, Rada Chirkova, Phokion G. Kolaitis:
Temporal Enrichment and Querying of Ontology-Compliant Data. ADBIS (Short Papers) 2020: 129-139 - [c110]Mahmoud Abo Khamis, Phokion G. Kolaitis, Hung Q. Ngo, Dan Suciu:
Decision Problems in Information Theory. ICALP 2020: 106:1-106:20 - [c109]Mahmoud Abo Khamis, Phokion G. Kolaitis, Hung Q. Ngo, Dan Suciu:
Bag Query Containment and Information Theory. PODS 2020: 95-112 - [c108]Zehui Cheng, Phokion G. Kolaitis:
Universal Solutions in Temporal Data Exchange. TIME 2020: 8:1-8:17 - [i27]Vishal Chakraborty, Phokion G. Kolaitis:
The Complexity of Possible Winners on Partial Chains. CoRR abs/2002.12510 (2020) - [i26]Mahmoud Abo Khamis, Phokion G. Kolaitis, Hung Q. Ngo, Dan Suciu:
Decision Problems in Information Theory. CoRR abs/2004.08783 (2020) - [i25]Vishal Chakraborty, Theo Delemazure, Benny Kimelfeld, Phokion G. Kolaitis, Kunal Relia, Julia Stoyanovich:
Algorithmic Techniques for Necessary and Possible Winners. CoRR abs/2005.06779 (2020) - [i24]Albert Atserias, Phokion G. Kolaitis:
Consistency, Acyclicity, and Positive Semirings. CoRR abs/2009.09488 (2020) - [i23]Albert Atserias, Phokion G. Kolaitis:
Structure and Complexity of Bag Consistency. CoRR abs/2012.12126 (2020)
2010 – 2019
- 2019
- [j61]Douglas Burdick, Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang-Chiew Tan:
Expressive power of entity-linking frameworks. J. Comput. Syst. Sci. 100: 44-69 (2019) - [j60]Albert Atserias, Phokion G. Kolaitis, Simone Severini:
Generalized satisfiability problems via operator assignments. J. Comput. Syst. Sci. 105: 171-198 (2019) - [j59]Lefteris M. Kirousis, Phokion G. Kolaitis, John Livieratos:
Aggregation of Votes with Multiple Positions on Each Issue. ACM Trans. Economics and Comput. 7(1): 1:1-1:25 (2019) - [c107]Phokion G. Kolaitis, Lucian Popa, Kun Qian:
Knowledge Refinement via Rule Selection. AAAI 2019: 2886-2894 - [c106]Benny Kimelfeld, Phokion G. Kolaitis, Muhammad Tibi:
Query Evaluation in Election Databases. PODS 2019: 32-46 - [c105]Akhil A. Dixit, Phokion G. Kolaitis:
A SAT-Based System for Consistent Query Answering. SAT 2019: 117-135 - [i22]Phokion G. Kolaitis, Lucian Popa, Kun Qian:
Knowledge Refinement via Rule Selection. CoRR abs/1901.10051 (2019) - [i21]Akhil A. Dixit, Phokion G. Kolaitis:
A SAT-based System for Consistent Query Answering. CoRR abs/1905.02828 (2019) - [i20]Mahmoud Abo Khamis, Phokion G. Kolaitis, Hung Q. Ngo, Dan Suciu:
Bag Query Containment and Information Theory. CoRR abs/1906.09727 (2019) - [i19]Erich Grädel, Phokion G. Kolaitis, Juha Kontinen, Heribert Vollmer:
Logics for Dependence and Independence (Dagstuhl Seminar 19031). Dagstuhl Reports 9(1): 28-46 (2019) - [i18]Michael Benedikt, Kristian Kersting, Phokion G. Kolaitis, Daniel Neider:
Logic and Learning (Dagstuhl Seminar 19361). Dagstuhl Reports 9(9): 1-22 (2019) - 2018
- [j58]Phokion G. Kolaitis, Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov:
Limits of Schema Mappings. Theory Comput. Syst. 62(4): 899-940 (2018) - [c104]Lefteris M. Kirousis, Phokion G. Kolaitis, John Livieratos:
On the Computational Complexity of Non-dictatorial Aggregation. RAMiCS 2018: 350-365 - [c103]Benny Kimelfeld, Phokion G. Kolaitis, Julia Stoyanovich:
Computational Social Choice Meets Databases. IJCAI 2018: 317-323 - [c102]Phokion G. Kolaitis:
Reflections on Schema Mappings, Data Exchange, and Metadata Management. PODS 2018: 107-109 - [c101]Balder ten Cate, Phokion G. Kolaitis, Kun Qian, Wang-Chiew Tan:
Active Learning of GAV Schema Mappings. PODS 2018: 355-368 - [i17]Benny Kimelfeld, Phokion G. Kolaitis, Julia Stoyanovich:
Computational Social Choice Meets Databases. CoRR abs/1805.04156 (2018) - 2017
- [j57]Balder ten Cate, Phokion G. Kolaitis, Kun Qian, Wang-Chiew Tan:
Approximation Algorithms for Schema-Mapping Discovery from Data Examples. ACM Trans. Database Syst. 42(2): 12:1-12:41 (2017) - [c100]Lefteris M. Kirousis, Phokion G. Kolaitis, John Livieratos:
Aggregation of Votes with Multiple Positions on Each Issue. RAMiCS 2017: 209-225 - [c99]Phokion G. Kolaitis:
Schema Mappings: Structural Properties and Limits (Invited Talk). CSL 2017: 2:1-2:1 - [c98]Albert Atserias, Phokion G. Kolaitis, Simone Severini:
Generalized Satisfiability Problems via Operator Assignments. FCT 2017: 56-68 - [c97]Douglas Burdick, Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan:
Expressive Power of Entity-Linking Frameworks. ICDT 2017: 10:1-10:18 - [c96]André Hernich, Phokion G. Kolaitis:
Foundations of information integration under bag semantics. LICS 2017: 1-12 - [i16]Albert Atserias, Phokion G. Kolaitis, Simone Severini:
Generalized Satisfiability Problems via Operator Assignments. CoRR abs/1704.01736 (2017) - [i15]Anuj Dawar, Erich Grädel, Phokion G. Kolaitis, Thomas Schwentick:
Finite and Algorithmic Model Theory (Dagstuhl Seminar 17361). Dagstuhl Reports 7(9): 1-25 (2017) - 2016
- [j56]Balder ten Cate, Richard L. Halpert, Phokion G. Kolaitis:
Exchange-Repairs - Managing Inconsistency in Data Exchange. J. Data Semant. 5(2): 77-97 (2016) - [j55]Douglas Burdick, Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang-Chiew Tan:
A Declarative Framework for Linking Entities. ACM Trans. Database Syst. 41(3): 17:1-17:38 (2016) - [c95]Lauri Hella, Phokion G. Kolaitis:
Dependence Logic vs. Constraint Satisfaction. CSL 2016: 14:1-14:17 - [c94]Balder ten Cate, Richard L. Halpert, Phokion G. Kolaitis:
Practical Query Answering in Data Exchange Under Inconsistency-Tolerant Semantics. EDBT 2016: 233-244 - [c93]Phokion G. Kolaitis, Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov:
Limits of Schema Mappings. ICDT 2016: 19:1-19:17 - 2015
- [j54]Avi Wigderson, Phokion G. Kolaitis:
Invited Articles Foreword. J. ACM 62(5): 41:1 (2015) - [j53]Balder ten Cate, Gaëlle Fontaine, Phokion G. Kolaitis:
On the Data Complexity of Consistent Query Answering. Theory Comput. Syst. 57(4): 843-891 (2015) - [c92]Balder ten Cate, Phokion G. Kolaitis, Kun Qian, Wang Chiew Tan:
Approximation Algorithms for Schema-Mapping Discovery from Data Examples. AMW 2015 - [c91]Douglas Burdick, Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan:
A Declarative Framework for Linking Entities. ICDT 2015: 25-43 - [c90]Ronald Fagin, Benny Kimelfeld, Phokion G. Kolaitis:
Dichotomies in the Complexity of Preferred Repairs. PODS 2015: 3-15 - [i14]Foto N. Afrati, Phokion G. Kolaitis, Angelos Vasilakopoulos:
Consistent Answers of Conjunctive Queries on Graphs. CoRR abs/1503.00650 (2015) - [i13]Lefteris M. Kirousis, Phokion G. Kolaitis:
Aggregation of Votes with Multiple Positions on Each Issue. CoRR abs/1505.07737 (2015) - [i12]Balder ten Cate, Richard L. Halpert, Phokion G. Kolaitis:
Exchange-Repairs: Managing Inconsistency in Data Exchange. CoRR abs/1509.06390 (2015) - 2014
- [j52]Benny Kimelfeld, Phokion G. Kolaitis:
The Complexity of Mining Maximal Frequent Subgraphs. ACM Trans. Database Syst. 39(4): 32:1-32:33 (2014) - [c89]Phokion G. Kolaitis, Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov:
Nested dependencies: structure and reasoning. PODS 2014: 176-187 - [c88]Balder ten Cate, Richard L. Halpert, Phokion G. Kolaitis:
Exchange-Repairs: Managing Inconsistency in Data Exchange. RR 2014: 140-156 - [p2]Balder ten Cate, Phokion G. Kolaitis:
Schema Mappings: A Case of Logical Dynamics in Database Theory. Johan van Benthem on Logic and Information Dynamics 2014: 67-100 - [e8]Manolis Koubarakis, Giorgos B. Stamou, Giorgos Stoilos, Ian Horrocks, Phokion G. Kolaitis, Georg Lausen, Gerhard Weikum:
Reasoning Web. Reasoning on the Web in the Big Data Era - 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings. Lecture Notes in Computer Science 8714, Springer 2014, ISBN 978-3-319-10586-4 [contents] - 2013
- [j51]Phokion G. Kolaitis, Swastik Kopparty:
Random graphs and the parity quantifier. J. ACM 60(5): 37:1-37:34 (2013) - [j50]Phokion G. Kolaitis, Enela Pema, Wang-Chiew Tan:
Efficient Querying of Inconsistent Databases with Binary Integer Programming. Proc. VLDB Endow. 6(6): 397-408 (2013) - [j49]Balder ten Cate, Víctor Dalmau, Phokion G. Kolaitis:
Learning schema mappings. ACM Trans. Database Syst. 38(4): 28 (2013) - [c87]Phokion G. Kolaitis:
The Query Containment Problem: Set Semantics vs. Bag Semantics. AMW 2013 - [c86]Balder ten Cate, Phokion G. Kolaitis, Walied Othman:
Data exchange with arithmetic operations. EDBT 2013: 537-548 - [c85]Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan:
Schema mappings and data examples. EDBT 2013: 777-780 - [c84]Samson Abramsky, Georg Gottlob, Phokion G. Kolaitis:
Robust Constraint Satisfaction and Local Hidden Variables in Quantum Mechanics. IJCAI 2013: 440-446 - [c83]Benny Kimelfeld, Phokion G. Kolaitis:
The complexity of mining maximal frequent subgraphs. PODS 2013: 13-24 - [c82]Phokion G. Kolaitis, Francesca Spezzano:
The Semantics of Aggregate Queries in Data Exchange Revisited. SUM 2013: 233-246 - [e7]Phokion G. Kolaitis, Maurizio Lenzerini, Nicole Schweikardt:
Data Exchange, Integration, and Streams. Dagstuhl Follow-Ups 5, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2013, ISBN 978-3-939897-61-3 [contents] - 2012
- [j48]Phokion G. Kolaitis, Enela Pema:
A dichotomy in the complexity of consistent query answering for queries with two atoms. Inf. Process. Lett. 112(3): 77-85 (2012) - [c81]Balder ten Cate, Gaëlle Fontaine, Phokion G. Kolaitis:
On the data complexity of consistent query answering. ICDT 2012: 22-33 - [c80]Balder ten Cate, Víctor Dalmau, Phokion G. Kolaitis:
Learning schema mappings. ICDT 2012: 182-195 - [c79]Richard Hull, Phokion G. Kolaitis, Dirk Van Gucht:
The ACM PODS Alberto O. Mendelzon test-of-time award 2012. PODS 2012: 35-36 - [c78]Ronald Fagin, Phokion G. Kolaitis:
Local transformations and conjunctive-query equivalence. PODS 2012: 179-190 - 2011
- [j47]Phokion G. Kolaitis:
The quest for a logic for polynomial-time computation: technical perspective. Commun. ACM 54(6): 103 (2011) - [j46]Ronald Fagin, Benny Kimelfeld, Phokion G. Kolaitis:
Probabilistic data exchange. J. ACM 58(4): 15:1-15:55 (2011) - [j45]Bogdan Alexe, Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan:
EIRENE: Interactive Design and Refinement of Schema Mappings via Data Examples. Proc. VLDB Endow. 4(12): 1414-1417 (2011) - [j44]Phokion G. Kolaitis, Maurizio Lenzerini, Nicole Schweikardt:
Report on DEIS'10: advanced school on data exchange, information, and streams (A GI-Dagstuhl Seminar). SIGMOD Rec. 40(1): 40-42 (2011) - [j43]Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan:
Reverse data exchange: Coping with nulls. ACM Trans. Database Syst. 36(2): 11:1-11:42 (2011) - [j42]Bogdan Alexe, Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan:
Characterizing schema mappings via data examples. ACM Trans. Database Syst. 36(4): 23:1-23:48 (2011) - [c77]Enela Pema, Phokion G. Kolaitis, Wang Chiew Tan:
On the tractability and intractability of consistent conjunctive query answering. EDBT/ICDT Ph.D. Workshop 2011: 38-44 - [c76]Phokion G. Kolaitis:
Schema Mappings and Data Examples: Deriving Syntax from Semantics (Invited Talk). FSTTCS 2011: 25-25 - [c75]Phokion G. Kolaitis:
Schema mappings and data examples. LID 2011: 1 - [c74]Bogdan Alexe, Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan:
Designing and refining schema mappings via data examples. SIGMOD Conference 2011: 133-144 - [p1]Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan:
Schema Mapping Evolution Through Composition and Inversion. Schema Matching and Mapping 2011: 191-222 - 2010
- [j41]Balder ten Cate, Phokion G. Kolaitis:
Structural characterizations of schema-mapping languages. Commun. ACM 53(1): 101-110 (2010) - [c73]Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan:
Database Constraints and Homomorphism Dualities. CP 2010: 475-490 - [c72]Ronald Fagin, Benny Kimelfeld, Phokion G. Kolaitis:
Probabilistic data exchange. ICDT 2010: 76-88 - [c71]Jianwen Su, Phokion G. Kolaitis:
The ACM PODS Alberto O. Mendelzon test-of-time-award 2010. PODS 2010: 39-40 - [c70]Bogdan Alexe, Phokion G. Kolaitis, Wang Chiew Tan:
Characterizing schema mappings via data examples. PODS 2010: 261-272
2000 – 2009
- 2009
- [j40]Balder ten Cate, Laura Chiticariu, Phokion G. Kolaitis, Wang Chiew Tan:
Laconic Schema Mappings: Computing the Core with SQL Queries. Proc. VLDB Endow. 2(1): 1006-1017 (2009) - [j39]Parikshit Gopalan, Phokion G. Kolaitis, Elitza N. Maneva, Christos H. Papadimitriou:
The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies. SIAM J. Comput. 38(6): 2330-2355 (2009) - [c69]Foto N. Afrati, Phokion G. Kolaitis:
Repair checking in inconsistent databases: algorithms and complexity. ICDT 2009: 31-41 - [c68]Balder ten Cate, Phokion G. Kolaitis:
Structural characterizations of schema-mapping languages. ICDT 2009: 63-72 - [c67]Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan:
Reverse data exchange: coping with nulls. PODS 2009: 23-32 - [c66]Catriel Beeri, Phokion G. Kolaitis, Christos H. Papadimitriou:
The ACM PODS Alberto O. Mendelzon test-of-time-award 2009. PODS 2009: 43 - [c65]Phokion G. Kolaitis, Swastik Kopparty:
Random graphs and the parity quantifier. STOC 2009: 705-714 - [e6]Andrei A. Bulatov, Martin Grohe, Phokion G. Kolaitis, Andrei A. Krokhin:
The Constraint Satisfaction Problem: Complexity and Approximability, 25.10. - 30.10.2009. Dagstuhl Seminar Proceedings 09441, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - [i11]Andrei A. Bulatov, Martin Grohe, Phokion G. Kolaitis, Andrei A. Krokhin:
09441 Abstracts Collection - The Constraint Satisfaction Problem: Complexity and Approximability. The Constraint Satisfaction Problem: Complexity and Approximability 2009 - [i10]Andrei A. Bulatov, Martin Grohe, Phokion G. Kolaitis, Andrei A. Krokhin:
09441 Executive Summary - The Constraint Satisfaction Problem: Complexity and Approximability. The Constraint Satisfaction Problem: Complexity and Approximability 2009 - [i9]