A Recursive Algorithm for Projected Model Counting

Proceedings of the AAAI Conference on Artificial Intelligence

doi 10.1609/aaai.v33i01.33011536

Full Text

Abstract

Available in

Date

July 17, 2019

Authors

Jean-Marie Lagniez

Publisher

Association for the Advancement of Artificial Intelligence (AAAI)

Related search

A Smoothing Projected Newton-Type Algorithm for Semi-Infinite Programming

Computational Optimization and Applications

Computational Mathematics

Applied Mathematics

English

A High-Order Recursive Quadratic Learning Algorithm

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Chip Architecture for Data Sorting Using Recursive Algorithm

Journal of Technology Management for Growing Economies

English

A Recursive Algorithm for the Error Probability Evaluation of M-Qam

IEEE Communications Letters

Electronic Engineering

Computer Science Applications

English

Identification of Time-Varying Frequencies and Model Parameters for Large Flexible On-Orbit Satellites Using a Recursive Algorithm

Transactions of the Japan Society for Aeronautical and Space Sciences

Planetary Science

Aerospace Engineering

English

An Order-Recursive Lattice Algorithm for H∞ Adaptive Filtering

Journal of Signal Processing

English

Optimal Dynamic Box-Counting Algorithm

International Journal of Bifurcation and Chaos in Applied Sciences and Engineering

Multidisciplinary

Applied Mathematics

English

Review: A State-Of-The-Art of Time Complexity (Non-Recursive and Recursive Fibonacci Algorithm)

Journal of Information Technology and Computer Science

English

A Method for Determining the Mod-$2^k$ Behaviour of Recursive Sequences, With Applications to Subgroup Counting

Electronic Journal of Combinatorics

Applied Mathematics

Discrete Mathematics

Computational Theory

Theoretical Computer Science

English