Buchumschlag

Moving between high-quality optima using multi-satisfiability characteristics in hard-to-solve Max3Sat instances

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Piatek, J., Przewozniczek, M. W., Chicano, F., Tinós, R.
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Limited Perfect Monotonical Surrogates constructed using low-cost recursive linkage discovery with guaranteed output
von: Przewozniczek, M. W., et al.
Veröffentlicht: (2026)

Iterated Local Search with Linkage Learning
von: Tinós, Renato, et al.
Veröffentlicht: (2024)

On Revealing the Hidden Problem Structure in Real-World and Theoretical Problems Using Walsh Coefficient Influence
von: Przewozniczek, M. W., et al.
Veröffentlicht: (2025)

Seeking and leveraging alternative variable dependency concepts in gray-box-elusive bimodal land-use allocation problems
von: Maciążek, J., et al.
Veröffentlicht: (2025)

Subfunction Structure Matters: A New Perspective on Local Optima Networks
von: Thomson, S. L., et al.
Veröffentlicht: (2025)

CMSA algorithm for solving the prioritized pairwise test data generation problem in software product lines
von: Ferrer, Javier, et al.
Veröffentlicht: (2024)

Obtaining Partition Crossover masks using Statistical Linkage Learning for solving noised optimization problems with hidden variable dependency structure
von: Przewozniczek, M. W., et al.
Veröffentlicht: (2026)

On the use of associative memory in Hopfield networks designed to solve propositional satisfiability problems
von: Weber, Natalya, et al.
Veröffentlicht: (2023)

Layered LA-MAPF: a decomposition of large agent MAPF instance to accelerate solving without compromising solvability
von: Yao, Zhuo
Veröffentlicht: (2024)

Effects of structure on reasoning in instance-level Self-Discover
von: Gunasekara, Sachith, et al.
Veröffentlicht: (2025)

Classification of autoimmune diseases from Peripheral blood TCR repertoires by multimodal multi-instance learning
von: Zhang, Ruihao, et al.
Veröffentlicht: (2025)

Generate more than one child in your co-evolutionary semi-supervised learning GAN
von: Sedeño, Francisco, et al.
Veröffentlicht: (2025)

Leveraging LLMs to support co-evolution between definitions and instances of textual DSLs
von: Zhang, Weixing, et al.
Veröffentlicht: (2025)

Three-way decision with incomplete information based on similarity and satisfiability
von: Luo, Junfang, et al.
Veröffentlicht: (2025)

Leveraging LLMs to support co-evolution between definitions and instances of textual DSLs: A Systematic Evaluation
von: Zhang, Weixing, et al.
Veröffentlicht: (2026)

PDE-Agent: A toolchain-augmented multi-agent framework for PDE solving
von: Liu, Jianming, et al.
Veröffentlicht: (2025)

Effective anytime algorithm for multiobjective combinatorial optimization problems
von: Domínguez-Ríos, Miguel Ángel, et al.
Veröffentlicht: (2024)

Where the Really Hard Quadratic Assignment Problems Are: the QAP-SAT instances
von: Verel, Sébastien, et al.
Veröffentlicht: (2024)

Generalizing and Unifying Gray-box Combinatorial Optimization Operators
von: Chicano, Francisco, et al.
Veröffentlicht: (2024)

Dynastic Potential Crossover Operator
von: Chicano, Francisco, et al.
Veröffentlicht: (2024)

NK Hybrid Genetic Algorithm for Clustering
von: Tinós, Renato, et al.
Veröffentlicht: (2024)

100 instances is all you need: predicting the success of a new LLM on unseen data by testing on a few instances
von: Pacchiardi, Lorenzo, et al.
Veröffentlicht: (2024)

Attention-based multiple instance learning for predominant growth pattern prediction in lung adenocarcinoma wsi using foundation models
von: Perez-Herrera, Laura Valeria, et al.
Veröffentlicht: (2026)

A Two-Stage Algorithm for Cost-Efficient Multi-instance Counterfactual Explanations
von: Artelt, André, et al.
Veröffentlicht: (2024)

ACCORD: Autoregressive Constraint-satisfying Generation for COmbinatorial Optimization with Routing and Dynamic attention
von: Abgaryan, Henrik, et al.
Veröffentlicht: (2025)

Understanding fitness landscapes in morpho-evolution via local optima networks
von: Thomson, Sarah L., et al.
Veröffentlicht: (2024)

Too long; didn't solve
von: Cabrera, Lucía M., et al.
Veröffentlicht: (2026)

SibylSat: Using SAT as an Oracle to Perform a Greedy Search on TOHTN Planning
von: Quenard, Gaspard, et al.
Veröffentlicht: (2024)

SatSOM: Saturation Self-Organizing Maps for Continual Learning
von: Urbanik, Igor, et al.
Veröffentlicht: (2025)

Certified MaxSAT Preprocessing
von: Ihalainen, Hannes, et al.
Veröffentlicht: (2024)

Evaluation of LLMs for mathematical problem solving
von: Wang, Ruonan, et al.
Veröffentlicht: (2025)

W2SAT: Learning to generate SAT instances from Weighted Literal Incidence Graphs
von: Wen, Weihuang, et al.
Veröffentlicht: (2023)

Semi-supervised classification of dental conditions in panoramic radiographs using large language model and instance segmentation: A real-world dataset evaluation
von: Silva, Bernardo, et al.
Veröffentlicht: (2024)

4-Doodle: Text to 3D Sketches that Move!
von: Chen, Hao, et al.
Veröffentlicht: (2025)

SKATE, a Scalable Tournament Eval: Weaker LLMs differentiate between stronger ones using verifiable challenges
von: Gould, Dewi S. W., et al.
Veröffentlicht: (2025)

Resource-Constrained Heuristic for Max-SAT
von: Matejek, Brian, et al.
Veröffentlicht: (2024)

TreeMIL: A Multi-instance Learning Framework for Time Series Anomaly Detection with Inexact Supervision
von: Liu, Chen, et al.
Veröffentlicht: (2024)

Beyond the high score: Prosocial ability profiles of multi-agent populations
von: Tesic, Marko, et al.
Veröffentlicht: (2025)

Sat3DGen: Comprehensive Street-Level 3D Scene Generation from Single Satellite Image
von: Qian, Ming, et al.
Veröffentlicht: (2026)

FrGNet: A fourier-guided weakly-supervised framework for nuclear instance segmentation
von: Ling, Peng, et al.
Veröffentlicht: (2025)