共 27 条
- [3] Complexity of n-Queens Completion (Extended Abstract) PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2018, : 5608 - 5611
- [4] Learning Low Degree Hypergraphs (Extended Abstract) CONFERENCE ON LEARNING THEORY, VOL 178, 2022, 178 : 419 - 420
- [5] Proofs and Certificates for Max-SAT (Extended Abstract) PROCEEDINGS OF THE THIRTY-SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2023, 2023, : 6942 - 6947
- [6] Dual Space of a Lattice as the Completion of a Pervin Space Extended Abstract RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE, RAMICS 2017, 2017, 10226 : 24 - 40
- [7] Computational Complexity of Iterated Maps on the Interval (Extended Abstract) ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (24): : 139 - 150
- [8] A Core Method for the Weak Completion Semantics with Skeptical Abduction (Extended Abstract) PROCEEDINGS OF THE TWENTY-EIGHTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2019, : 6358 - 6361
- [9] The Maximum Clique Problem in Multiple Interval Graphs (Extended Abstract) GRAPH-THEORETIC CONCEPTS IN COMPUTER SCIENCE, 2012, 7551 : 57 - 68
- [10] Parallel maximum matching algorithms in interval graphs (extended abstract) 1997 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1997, : 602 - 609