Claude-Guy Quimper

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Nicolas Beldiceanu

> Home > Persons > Claude-Guy Quimper

Publications

2024
[c76]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/GindullinBCDQ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/GindullinBCDQ24
Ramiz Gindullin, Nicolas Beldiceanu, Jovial Cheukam-Ngouonou, Rémi Douence, Claude-Guy Quimper:
Composing Biases by Using CP to Decompose Minimal Functional Dependencies for Acquiring Complex Formulae. AAAI 2024: 8030-8037
2023
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/GindullinBCDQ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/GindullinBCDQ23
Ramiz Gindullin, Nicolas Beldiceanu, Jovial Cheukam-Ngouonou, Rémi Douence, Claude-Guy Quimper:
Boolean-Arithmetic Equations: Acquisition and Uses. CPAIOR 2023: 378-394
[i12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2312-08990
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2312-08990
Jovial Cheukam-Ngouonou, Ramiz Gindullin, Nicolas Beldiceanu, Rémi Douence, Claude-Guy Quimper:
Proving Conjectures Acquired by Composing Multiple Biases. CoRR abs/2312.08990 (2023)
2022
[c68]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cp/BeldiceanuCDGQ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/BeldiceanuCDGQ22
Nicolas Beldiceanu, Jovial Cheukam-Ngouonou, Rémi Douence, Ramiz Gindullin, Claude-Guy Quimper:
Acquiring Maps of Interrelated Conjectures on Sharp Bounds. CP 2022: 6:1-6:18
2019
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1912-01532
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1912-01532
Nicolas Beldiceanu, Mats Carlsson, Claude-Guy Quimper, Maria-Isabel Restrepo-Ruiz:
Classifying Pattern and Feature Properties to Get a Θ(n) Checker and Reformulation for Sliding Time-Series Constraints. CoRR abs/1912.01532 (2019)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.