◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

P. Schaus

13 papers hereh-index 241.8k citations146 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • middle author3
  • last author10

Across the 13 of 13 papers where every author was matched, so the position is known.

fields
  • cs.AI5
  • cs.LG2
  • cs.DB1
  • cs.NI1
  • cs.SE1
  • econ.GN1

identity via Semantic Scholar / OpenAlex

activity
20152021
most citedVerification of railway interlocking systems

28 citations · 51 across the 6 of their papers we have counts for

collaborators
Showing 2016Show all

3 papers · 1 filter

cs.AI2016

Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets

Jordan Demeulenaere, Renaud Hartert, Christophe Lecoutre +4

In this paper, we describe Compact-Table (CT), a bitwise algorithm to enforce Generalized Arc Consistency (GAC) on table con- straints. Although this algorithm is the default propa…

cs.AI2016

Parallel Strategies Selection

Anthony Palmieri, Jean-Charles Régin, Pierre Schaus

We consider the problem of selecting the best variable-value strategy for solving a given problem in constraint programming. We show that the recent Embarrassingly Parallel Search…

cs.DB2016

An Efficient Algorithm for Mining Frequent Sequence with Constraint Programming

John O. R. Aoga, Tias Guns, Pierre Schaus

The main advantage of Constraint Programming (CP) approaches for sequential pattern mining (SPM) is their modularity, which includes the ability to add new constraints (regular exp…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.