Sage Journals: Discover world-class research

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

Research article

First published 2006-8

Incentives improve performance on both incremental and insight problem solving

Mareike Wieth, Bruce D. Burns

Quarterly Journal of Experimental Psychology

Free access

Research article

First published 2009-3

Parallel Tools for Solving Incremental Dense Least Squares Problems: Application to Space Geodesy

Arc Baboulin, Luc Giraud, Serge Gratton [...]

Journal of Algorithms & Computational Technology

Open access

Research article

First published 2019-6

QBFRelay,QRATPre+,and DepQBF : Incremental Preprocessing Meets Search-Based QBF Solving

Florian Lonsing

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2008-2

Design of a Learning Environment in Combinatorics based on Problem Solving: Modeling Activities,Problems and Errors

Françoise Le Calvez, Hélène Giroire, Gérard Tisseau

International Journal of Artificial Intelligence in Education: The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2019

Argumentation Reasoning via Circumscription with Pyglaf

Mario Alviano

Fundamenta Informaticae

Retricted access

Research article

First published 2015-5

Verification of partial designs using incremental QBF

Christian Miller, Paolo Marin, Bernd Becker

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2019-9

Incremental passivity-based H ∞ output tracking control for switched nonlinear systems

Shuo Liu, Hongbo Pang, Chensong Li

Transactions of the Institute of Measurement and Control

Retricted access

Research article

First published 2000-11

A note on the utility of incremental learning

Christophe Giraud‐Carrier

The European Journal on Artificial Intelligence

Open access

Research article

First published 2013-8

Incremental Localization Algorithm Based on Multivariate Analysis

Xiaoyong Yan, Huanyan Qian, Jiguang Chen

International Journal of Distributed Sensor Networks

Search results