research
∙
08/01/2023
Single-Qubit Gates Matter for Optimising Quantum Circuit Depth in Qubit Mapping
Quantum circuit transformation (QCT, a.k.a. qubit mapping) is a critical...
share
research
∙
06/28/2022
Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs
Abstract interpretation, Hoare logic, and incorrectness (or reverse Hoar...
research
∙
08/15/2021
A Fast Algorithm for Computing the Deficiency Number of a Mahjong Hand
The tile-based multiplayer game Mahjong is widely played in Asia and has...
research
∙
04/30/2021
Verification of Distributed Quantum Programs
Distributed quantum systems and especially the Quantum Internet have the...
research
∙
03/22/2021
Approximate Equivalence Checking of Noisy Quantum Circuits
We study the fundamental design automation problem of equivalence checki...
research
∙
09/06/2020
A Tensor Network based Decision Diagram for Representation of Quantum Circuits
Tensor networks have been successfully applied in simulation of quantum ...
research
∙
03/08/2019
Let's Play Mahjong!
Mahjong is a very popular tile-based game commonly played by four player...
research
∙
03/05/2019
Semi-dynamic shortest-path tree algorithms for directed graphs with arbitrary weights
Given a directed graph G with arbitrary real-valued weights, the single ...
research
∙
11/22/2017
Multiagent Simple Temporal Problem: The Arc-Consistency Approach
The Simple Temporal Problem (STP) is a fundamental temporal reasoning pr...
research
∙
08/18/2017
Exploring Directional Path-Consistency for Solving Constraint Networks
Among the local consistency techniques used for solving constraint netwo...
research
∙
06/01/2015
On Distributive Subalgebras of Qualitative Spatial and Temporal Calculi
Qualitative calculi play a central role in representing and reasoning ab...
research
∙
10/09/2014
Realizing RCC8 networks using convex regions
RCC8 is a popular fragment of the region connection calculus, in which q...
research
∙
03/03/2014
On Redundant Topological Constraints
The Region Connection Calculus (RCC) is a well-known calculus for repres...
research
∙
05/21/2011
On A Semi-Automatic Method for Generating Composition Tables
Originating from Allen's Interval Algebra, composition-based reasoning h...
research
∙
11/01/2010
Reasoning about Cardinal Directions between Extended Objects: The Hardness Result
The cardinal direction calculus (CDC) proposed by Goyal and Egenhofer is...
research
∙
09/01/2009
Reasoning about Cardinal Directions between Extended Objects
Direction relations between extended spatial objects are important commo...
research
∙
09/01/2009
Reasoning with Topological and Directional Spatial Information
Current research on qualitative spatial representation and reasoning mai...
research
∙
09/01/2009