Search results

Articles (6)

Journals (0)

1-6 of 6 results for backjumping

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 2006-5

A backjumping technique for Disjunctive Logic Programming

Francesco Ricca, Wolfgang Faber, Nicola Leone

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2012-9

Hybrid solving algorithms for an extended dynamic constraint satisfaction problem based configuration system

Lin Wang, Wee-Keong Ng

Concurrent Engineering

Retricted access

Research article

First published 2015-9

Improving IntSat by expressing disjunctions of bounds as linear constraints

Roberto Asín, Marc Bezem, Robert Nieuwenhuis

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2010-2

𝒞𝒪𝒞𝒪𝒩ℱ: Conceptual language-based configuration

Diego Magro

The European Journal on Artificial Intelligence

Open access

Research article

First published 2006-2

Pueblo: A Hybrid Pseudo-Boolean SAT Solver

Hossein M. Sheini, Karem A. Sakallah

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2011-3

Look-back Techniques for ASP Programs with Aggregates

Wolfgang Faber, Nicola Leone, Marco Maratea [...]

Fundamenta Informaticae