Sage Journals: Discover world-class research

Retricted access

Research article

First published 2018-6-11

Resizing cardinality constraints for MaxSAT

Eivind Jahren, Roberto Asín Achá

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2025

Assortment Competition in a Two-Tier Supply Chain Under Cardinality Constraints

Xin Chen, Zexuan Liu, Qiong Wang [...]

Production and Operations Management

Open access

Research article

First published 2012-2

QMaxSAT: A Partial Max-SAT Solver

Miyuki Koshimura, Tong Zhang, Hiroshi Fujita [...]

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2021-10

Constrained Assortment Optimization Problem under the Multilevel Nested Logit Model

Yanqiao Wang, Zuo‐Jun Max Shen

Production and Operations Management

Retricted access

Research article

First published 2019-3-25

Mixed logical and probabilistic reasoning in the game of Clue

Todd W. Neller, Ziqian Luo

ICGA Journal: The Journal of the Computer Games Community

Open access

Research article

First published 2019-6

RC2: an Efficient MaxSAT Solver

Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2012-5

Parallel search for maximum satisfiability

Ruben Martins, Vasco Manquinho, Inês Lynce

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2013-12-28

Sparse,mean reverting portfolio selection using simulated annealing

Norbert Fogarasi, Janos Levendovszky

Algorithmic Finance

Retricted access

Research article

First published 2001-04

The Universal Parser and interlanguage: domain-specific mental organization in the comprehension of combien interrogatives in English-French interlanguage

Laurent Dekydtspotter

Second Language Research

Open access

Research article

First published 2006-2

A Translation of Pseudo-Boolean Constraints to SAT

Olivier Bailleux, Yacine Boufkhad, Olivier Roussel

Journal on Satisfiability,Boolean Modelling and Computation

Search results