Work

Proving Conjectures Acquired by Composing Multiple Biases

Year: 2023

Type: preprint

Abstract: We present the proofs of the conjectures mentioned in the paper published in the proceedings of the 2024 AAAI conference [1], and discovered by the decomposition methods presented in the same paper.

Source: arXiv (Cornell University)

DOI: 10.48550/arxiv.2312.08990

Authors: Cheukam-Ngouonou, Jovial, Gindullin, Ramiz, Beldiceanu, Nicolas, Douence, Rémi, Quimper, Claude-Guy

Institutions: Laboratoire des Sciences du Numérique de Nantes, IMT Atlantique, Université Laval

Language: English

Topic: Constraint Satisfaction and Optimization

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W4389820892

Cites:

Cited by: 1

Related to: 10