ciaranm/ijcai2021-clique-constraints-paper ciaranm/ijcai2021-clique-constraints-paper

  • This repository has been archived on 19/May/2023
  • Stars
    star
    1
  • Language
    C++
  • Created over 3 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ciaranm/ijcai2021-clique-constraints-paper
github

ciaranm

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

detectindent

Vim script for automatically detecting indent settings
Vim Script
174
star
2

inkpot

Inkpot 88/256 Colour Scheme for Vim
Vim Script
153
star
3

securemodelines

A secure alternative to Vim modelines
Vim Script
106
star
4

glasgow-subgraph-solver

A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.
C++
62
star
5

dotfiles

My dotfiles
Lua
19
star
6

cp2015-subgraph-isomorphism

CP 2015 subgraph isomorphism experiments, data and paper
C++
13
star
7

glasgow-constraint-solver

A constraint programming solver with support for proof logging
C++
11
star
8

parasols

Parallel solvers for hard problems
C++
11
star
9

aaai17-between-subgraph-isomorphism-and-maximum-common-subgraph-paper

9
star
10

sicsa-multicore-challenge-iii

Third SICSA Multicore Challenge
TeX
4
star
11

paludis-overlay

Paludis overlay for Gentoo
Shell
4
star
12

googletest-syntax

Vim syntax highlighting for googletest
Vim Script
3
star
13

multithreadedmaximumclique

Multi-threaded maximum clique solver
C++
2
star
14

decision-diagrams

C++
1
star
15

research-overview-talk

Gnuplot
1
star
16

jair-really-hard-sip-paper

Gnuplot
1
star
17

subgraph-isomorphism-in-practice-talk

Gnuplot
1
star
18

lion2016-sip-portfolios-paper

1
star
19

cpm2018-lectures

TeX
1
star
20

cp2015-boats-paper

TeX
1
star
21

cpaior2021-finding-subgraphs-with-side-constraints

TeX
1
star