Amanote Research

Amanote Research

    RegisterSign In

On Minimum Representations of Matched Formulas (Extended Abstract)

doi 10.24963/ijcai.2017/706
Full Text
Open PDF
Abstract

Available in full text

Date

August 1, 2017

Authors
Ondřej ČepekŠtefan GurskýPetr Kučera
Publisher

International Joint Conferences on Artificial Intelligence Organization


Related search

Approximating the Unsatisfiability Threshold of Random Formulas (Extended Abstract)

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

On Privacy Homomorphisms (Extended Abstract)

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

On the Expressivity of Inconsistency Measures (Extended Abstract)

2017English

Categorical Views on Computations on Trees (Extended Abstract)

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Correction To: On Minimum Sum Representations for Weighted Voting Games

Annals of Operations Research
Management ScienceDecision SciencesOperations Research
2018English

Abstract Poisson Summation Formulas Over Homogeneous Spaces of Compact Groups

Analysis and Mathematical Physics
Mathematical PhysicsNumber TheoryAnalysisAlgebra
2016English

Games on Graphs and Sequentially Realizable Functionals. Extended Abstract

English

Hierarchical Combination of Unication Algorithms (Extended Abstract)

English

Abstract Representations of Associated Emotions in the Human Brain

Journal of Neuroscience
Neuroscience
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy