Sage Journals: Discover world-class research

Retricted access

Research article

First published 1997-11

Counting by Statistics on Search Trees: Application to Constraint Satisfaction Problems

Olivier Bailleux, Jean-Jacques Chabrier

Intelligent Data Analysis: An International Journal

Retricted access

Research article

First published 2010-8

A SAT-based Method for Solving the Two-dimensional Strip Packing Problem

Takehide Soh, Katsumi Inoue, Naoyuki Tamura [...]

Fundamenta Informaticae

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 2021-01-15

Parallel Algorithms for Minimal Nondeterministic Finite Automata Inference

Tomasz Jastrzab, Zbigniew J. Czech, Wojciech Wieczorek

Fundamenta Informaticae

Retricted access

Research article

First published 2018-1

Feasibility enhanced particle swarm optimization for constrained mechanical design problems

Mehmet Sinan Hasanoglu, Melik Dolen

Proceedings of the Institution of Mechanical Engineers,Part C: Journal of Mechanical Engineering Science

Free access

Research article

First published 2010-11

QOS-Aware Composition of Enterprise System‘s Components: Constraint Logic Programming Approach

Jeremy Besson, Albertas Čaplinskas

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 1998-8

A fuzzy constraint satisfaction problem in the wine industry

Régis Sabbadin, Didier Dubois, Henri Prade [...]

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2011-4

Constraint Satisfaction Problems in Clausal Form I: Autarkies and Deficiency

Oliver Kullmann

Fundamenta Informaticae

Retricted access

Research article

First published 2010-4

Solving Sequential Planning Problems via Constraint Satisfaction

Roman Barták, Daniel Toropila

Fundamenta Informaticae

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

Search results