Design of Logic-based Intelligent Systems

An Effective Algorithm for the Futile Questioning Problem

Journal of Automated Reasoning

A SAT-based solver for Q-ALL SAT

Proceedings of the 44th annual Southeast regional conference

Logic classification and feature selection for biomedical data

Computers & Mathematics with Applications

Discretization of Target Attributes for Subgroup Discovery

MLDM '09 Proceedings of the 6th International Conference on Machine Learning and Data Mining in Pattern Recognition

Logic based methods for SNPs tagging and reconstruction

Computers and Operations Research

Automatic Risk Control Based on FSA Methodology Adaptation for Safety Assessment in Intelligent Buildings

International Journal of Applied Mathematics and Computer Science

Logic mining for financial data

ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part IV

Conflict analysis in mixed integer programming

Discrete Optimization

Pattern-Based Modeling and Solution of Probabilistically Constrained Optimization Problems

Operations Research

Reducing lookups for invariant checking

ECOOP'13 Proceedings of the 27th European conference on Object-Oriented Programming