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

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

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

Retricted access

Research article

First published 2019-5

East is not right: Spatial compatibility differs between egocentric and cardinal retrieval

Qi Wang, Holly A Taylor, Tad T Brunyé

Quarterly Journal of Experimental Psychology

Open access

Research article

First published 2014-6

On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving

Ruben Martins, Saurabh Joshi, Vasco Manquinho [...]

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Other

First published 2009-09

Geocentric Dead Reckoning in Sanskrit- and Hindi-Medium School Children

Ramesh C. Mishra, Sunita Singh, Pierre R. Dasen

Culture & Psychology

Retricted access

Research article

First published 2019-01-29

Nurse (Re)scheduling via answer set programming 1

Mario Alviano, Carmine Dodaro, Marco Maratea

Intelligenza Artificiale

Retricted access

Research article

First published 1996-10

CATEGORISATION OF COMPUTABLE DATABASE QUERIES

Mark Levene, George Loizou

Fundamenta Informaticae

Retricted access

Research article

First published 2019

Argumentation Reasoning via Circumscription with Pyglaf

Mario Alviano

Fundamenta Informaticae

Retricted access

Review article

First published 2017-6

Probing the Neural Correlates of Number Processing

André Knops

The Neuroscientist

Search results