Sage Journals: Discover world-class research

Open access

Research article

First published 2006-8

Using SAT Encodings to Derive CSP Value Ordering Heuristics

Christophe Lecoutre, Lakhdar Saïs, Julien Vion

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2017-3

Unobservable CEO Characteristics and CEO Compensation as Correlated Determinants of CSP

Jingoo Kang

Business & Society

Retricted access

Research article

First published 2011-2

Restoring CSP Satisfiability with MaxSAT

Inês Lynce, Joao Marques-Silva

Fundamenta Informaticae

Retricted access

Research article

First published 2007-01

CSP-Based Verification for Web Service Orchestration and Choreography

W.L. Yeung

SIMULATION

Retricted access

Research article

First published 2015-11

A family of honey-bee optimization algorithms for Max-CSPs

Ines Mathlouthi, Sadok Bouamama

International Journal of Knowledge-Based and Intelligent Engineering Systems

Retricted access

Research article

First published 2009-5

Dynamic arc consistency for CSPs

Malek Mouhoub

International Journal of Knowledge-Based and Intelligent Engineering Systems

Open access

Research article

First published 2023-6

Antisense Transcription of the Neurospora Frequency Gene Is Rhythmically Regulated by CSP-1 Repressor but Dispensable for Clock Function

Ibrahim A. Cemel, Axel C. R. Diernfellner, Michael Brunner

Journal of Biological Rhythms

Retricted access

Research article

First published 2010-3

A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP

Fernando Orejas, Hartmut Ehrig, Markus Klein [...]

Fundamenta Informaticae

Retricted access

Other

First published 1987-6

Statement by the Black Members of the CSP Collective

Critical Social Policy

Retricted access

Research article

First published 1998-9

New developments in CSP (Comfort,Satisfaction and Performance)

A.R. Bean, T.M. McFadder

Lighting Research & Technology

Search results