Modeling and Solving Graph Synthesis Problems Using SAT-Encoded Reachability Constraints in Picat
Many constraint satisfaction problems involve synthesizing subgraphs that satisfy certain reachability constraints. This paper presents programs in Picat for four problems selected from the recent LP/CP programming competitions. The programs demonstrate the modeling capabilities of the Picat language and the solving efficiency of the cutting-edge SAT solvers empowered with effective encodings.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)
This paper proposes a Graph Neural Network-guided algorithm for solving word equations, based on the well-known Nielsen transformation for splitting equations. The algorithm iteratively rewrites the first terms of each s…
Decision MakingGraph Neural NetworkMultimodal Fine-grained Context Interaction Graph Modeling for Conversational Speech Synthesis
Conversational Speech Synthesis (CSS) aims to generate speech with natural prosody by understanding the multimodal dialogue history (MDH). The latest work predicts the accurate prosody expression of the target utterance …
Speech SynthesisSolving Visual Analogies Using Neural Algorithmic Reasoning
We consider a class of visual analogical reasoning problems that involve discovering the sequence of transformations by which pairs of input/output images are related, so as to analogously transform future inputs. This p…
Program SynthesisVisual AnalogiesRV-Syn: Rational and Verifiable Mathematical Reasoning Data Synthesis based on Structured Function Library
The advancement of reasoning capabilities in Large Language Models (LLMs) requires substantial amounts of high-quality reasoning data, particularly in mathematics. Existing data synthesis methods, such as data augmentati…
Data AugmentationMathematical ReasoningQuestion GenerationQuestion-GenerationPhysics-Encoded Inverse Modeling for Arctic Snow Depth Prediction
Accurate estimation in time-varying inverse problems under limited and sparse observations remains a fundamental challenge across scientific domains. For example, snow depth estimation requires inferring hidden parameter…
Contrastive LearningDepth Estimation