Sage Journals: Discover world-class research

Retricted access

Research article

First published 2006-5

Propositional satisfiability: Techniques,algorithms and applications

Inês Lynce

The European Journal on Artificial Intelligence

Open access

Research article

First published 2006-2

The SAT 2005 Solver Competition on Random Instances

Oliver Kullmann

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2012-8

Reweighted Belief Propagation and Quiet Planting for Random K -SAT

Florent Krzakala, Marc Mézard, Lenka Zdeborová

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2009-4

Satisfiability Parsimoniously Reduces to the Tantrix™ Rotation Puzzle Problem

Dorothea Baumeister, Jörg Rothe

Fundamenta Informaticae

Retricted access

Research article

First published 2011-2

Partitioning Search Spaces of a Randomized Search

Antti E.J. Hyvärinen, Tommi Junttila, Ilkka Niemelä

Fundamenta Informaticae

Retricted access

Research article

First published 1999-12

Estimates in probability of the residual between the random and the homogenized solutions of one‐dimensional second‐order operator

A. Bourgeat, A. Piatnitski

Asymptotic Analysis

Retricted access

Research article

First published 2005-2

Stochastic search versus genetic algorithms for solving real time and over-constrained temporal constraint problems

Malek Mouhoub

International Journal of Knowledge-Based and Intelligent Engineering Systems

Retricted access

Research article

First published 2018-07

On the Properties of Yield Distributions in Random Yield Problems: Conditions,Class of Distributions and Relevant Applications

Panos Kouvelis, Guang Xiao, Nan Yang

Production and Operations Management

Retricted access

Research article

First published 2008-11

Probabilistic design of discrete-time guaranteed cost regulators

Y Fujisaki, Y Kitajima, Y Oishi

Proceedings of the Institution of Mechanical Engineers,Part I: Journal of Systems and Control Engineering

Retricted access

Research article

First published 2008-11

Randomized Controlled Trial of Problem-Solving Therapy for Minor Depression in Home Care

Zvi D. Gellis, Jean McGinty, Lynda Tierney [...]

Research on Social Work Practice

Search results