Sage Journals: Discover world-class research

Retricted access

Research article

First published 2021

Symbolic and Structural Model-Checking

Yann Thierry-Mieg

Fundamenta Informaticae

Retricted access

Research article

First published 2010-8

Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem

António Morgado, Joao Marques-Silva

Fundamenta Informaticae

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 2016-12

On the comparison between displacement modal testing and strain modal testing

Emiliano Mucchi

Proceedings of the Institution of Mechanical Engineers,Part C: Journal of Mechanical Engineering Science

Open access

Research article

First published 2007-8

Lazy Satisfiability Modulo Theories

Roberto Sebastiani

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2016

Answer Set Programming Modulo Acyclicity *

Jori Bomanson, Martin Gebser, Tomi Janhunen [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2018-1-31

TripICS - a Web Service Composition System for Planning Trips and Travels

Artur Niewiadomski, Piotr Switalski, Marcin Kowalczyk [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2024-12

Factors Affecting Smallholder Farmer’s Willingness to Insure in Multiperil Crop Insurance: Evidence from Baghelkhand Region of India

Shifa Shahin, Rudra P. Pradhan

Asia-Pacific Journal of Rural Development

Retricted access

Research article

First published 2014-2

Efficient DTPP solving with a reduction-based approach

Marco Maratea, Luca Pulina

Intelligenza Artificiale

Retricted access

Research article

First published 2024-09-20

On the Complexity of Proving Polyhedral Reductions

Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan

Fundamenta Informaticae

Search results