Sage Journals: Discover world-class research

Retricted access

Research article

First published 2017-3-16

The bi-objective workflow satisfiability problem and workflow resiliency 1

Jason Crampton, Gregory Gutin, Daniel Karapetyan [...]

Journal of Computer Security

Retricted access

Research article

First published 2015-8

A reverse constraint satisfying method for earliness/tardiness scheduling problem based on improved genetic algorithm

Yabo Luo, Guangdong Feng, Feng Zhang [...]

Journal of Computational Methods in Sciences and Engineering

Open access

Research article

First published 2006-2

Semidefinite Optimization Approaches for Satisfiability and Maximum-Satisfiability Problems

Miguel F. Anjos

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 2015-4

Parameterized Complexity of Weighted Satisfiability Problems: Decision,Enumeration,Counting

Nadia Creignou, Heribert Vollmer

Fundamenta Informaticae

Open access

Research article

First published 2007-8

It’s All about the Support: A New Perspective on the Satisfiability Problem

Dan Vilenchik

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2012-5

Solving disjunctive temporal problems with preferences using maximum satisfiability

Marco Maratea, Luca Pulina

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2013-8

On the Satisfiability Problem for a 4-level Quantified Syllogistic and Some Applications to Modal Logic

Domenico Cantone, Marianna Nicolosi Asmundo

Fundamenta Informaticae

Retricted access

Research article

First published 2013-11

Combining approaches for solving satisfiability problems with qualitative preferences

Emanuele Di Rosa, Enrico Giunchiglia

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2015-11

The multi-robot forest coverage for weighted terrain 1

Anna Gorbenko, Vladimir Popov

Journal of Ambient Intelligence and Smart Environments

Search results