会员服务
约束 · MoDELS · 图 · SAT · 人工智能 ·
2021 年 9 月 17 日
Modeling and Solving Graph Synthesis Problems Using SAT-Encoded Reachability Constraints in Picat
翻译：利用SAT-编码的Piccat的可获取性限制建立模型和解决图形综合综合问题
Neng-Fa Zhou
Neng-Fa Zhou
from arxiv, In Proceedings ICLP 2021, arXiv:2109.07914

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.


翻译：许多制约性满意度问题涉及综合满足某些可达性限制的子集,本文介绍了Picat对最近LP/CP编程竞赛中选定的四个问题的方案。 这些方案展示了Picat语言的建模能力,并解决了具有有效编码能力的尖端SAT解答器的效率问题。
0
下载
关闭预览

相关内容

深度概率图模型，Deep Probabilistic Models
专知会员服务
28+阅读 · 2021年8月2日
机器学习组合优化
机器学习组合优化
专知会员服务
108+阅读 · 2021年2月16日
神经常微分方程教程，50页ppt，A brief tutorial on Neural ODEs
神经常微分方程教程，50页ppt，A brief tutorial on Neural ODEs
专知会员服务
71+阅读 · 2020年8月2日
Linux导论，Introduction to Linux，96页ppt
Linux导论，Introduction to Linux，96页ppt
专知会员服务
78+阅读 · 2020年7月26日
【KDD2020】基于知识图谱的语义融合改进会话推荐系统，Improving Conversational Recommender Systems via Knowledge Graph based Semantic Fusion
【KDD2020】基于知识图谱的语义融合改进会话推荐系统，Improving Conversational Recommender Systems via Knowledge Graph based Semantic Fusion
专知会员服务
89+阅读 · 2020年7月9日
KG-BERT：基于BERT的知识图谱补全，KG-BERT: BERT for Knowledge Graph Completion
KG-BERT：基于BERT的知识图谱补全，KG-BERT: BERT for Knowledge Graph Completion
专知会员服务
193+阅读 · 2020年5月31日
【ICLR2020】利用图神经网络进行高效概率逻辑推理，Efficient Probabilistic Logic Reasoning with Graph Neural Networks
【ICLR2020】利用图神经网络进行高效概率逻辑推理，Efficient Probabilistic Logic Reasoning with Graph Neural Networks
专知会员服务
111+阅读 · 2020年1月29日
【NLP| 推荐文章】用图递归网络解决图的NLP问题（Tackling Graphical NLP problems with Graph Recurrent Networks）
【NLP| 推荐文章】用图递归网络解决图的NLP问题（Tackling Graphical NLP problems with Graph Recurrent Networks）
专知会员服务
32+阅读 · 2019年11月24日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
47+阅读 · 2019年10月17日
【IJCAI 2019 Tutorials】基于概率图模型的医疗决策分析（Medical decision analysis with probabilistic graphical models）
【IJCAI 2019 Tutorials】基于概率图模型的医疗决策分析（Medical decision analysis with probabilistic graphical models）
专知会员服务
44+阅读 · 2019年8月10日
计算机 | 入门级EI会议ICVRIS 2019诚邀稿件
计算机 | 入门级EI会议ICVRIS 2019诚邀稿件
Call4Papers
10+阅读 · 2019年6月24日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
IEEE | DSC 2019诚邀稿件 (EI检索)
IEEE | DSC 2019诚邀稿件 (EI检索)
Call4Papers
10+阅读 · 2019年2月25日
Ray RLlib: Scalable 降龙十八掌
Ray RLlib: Scalable 降龙十八掌
CreateAMind
9+阅读 · 2018年12月28日
条件GAN重大改进！cGANs with Projection Discriminator
条件GAN重大改进！cGANs with Projection Discriminator
CreateAMind
8+阅读 · 2018年2月7日
推荐｜深度强化学习聊天机器人（附论文）！
推荐｜深度强化学习聊天机器人（附论文）！
全球人工智能
4+阅读 · 2018年1月30日
gan生成图像at 1024² 的 代码 论文
gan生成图像at 1024² 的 代码 论文
CreateAMind
4+阅读 · 2017年10月31日
【推荐】视频目标分割基础
【推荐】视频目标分割基础
机器学习研究会
9+阅读 · 2017年9月19日
Auto-Encoding GAN
Auto-Encoding GAN
CreateAMind
7+阅读 · 2017年8月4日
【今日新增】IEEE Trans.专刊截稿信息8条
【今日新增】IEEE Trans.专刊截稿信息8条
Call4Papers
7+阅读 · 2017年6月29日
Strengthening Probabilistic Graphical Models: The Purge-and-merge Algorithm
Arxiv
0+阅读 · 2021年11月9日
Analyzing and Improving Fault Tolerance of Learning-Based Navigation Systems
Arxiv
0+阅读 · 2021年11月9日
Solving PDE-constrained Control Problems using Operator Learning
Arxiv
0+阅读 · 2021年11月9日
A simple and versatile topology optimization formulation for flexure synthesis
A simple and versatile topology optimization formulation for flexure synthesis
Arxiv
0+阅读 · 2021年11月8日
Network Migration Problem: A Logic-based Benders Decomposition Approach Driven by Column Generation and Constraint Programming
Network Migration Problem: A Logic-based Benders Decomposition Approach Driven by Column Generation and Constraint Programming
Arxiv
1+阅读 · 2021年11月8日
Programming Puzzles
Arxiv
0+阅读 · 2021年11月6日
Neural Approaches to Conversational AI
Neural Approaches to Conversational AI
Arxiv
8+阅读 · 2018年12月13日
A Dual Approach to Scalable Verification of Deep Networks
A Dual Approach to Scalable Verification of Deep Networks
Arxiv
3+阅读 · 2018年8月3日
CuLDA_CGS: Solving Large-scale LDA Problems on GPUs
Arxiv
3+阅读 · 2018年3月13日
The Search Problem in Mixture Models
Arxiv
3+阅读 · 2018年2月24日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
约束
MoDELS
图
SAT
人工智能
相关VIP内容
深度概率图模型，Deep Probabilistic Models
专知会员服务
28+阅读 · 2021年8月2日
机器学习组合优化
机器学习组合优化
专知会员服务
108+阅读 · 2021年2月16日
神经常微分方程教程，50页ppt，A brief tutorial on Neural ODEs
神经常微分方程教程，50页ppt，A brief tutorial on Neural ODEs
专知会员服务
71+阅读 · 2020年8月2日
Linux导论，Introduction to Linux，96页ppt
Linux导论，Introduction to Linux，96页ppt
专知会员服务
78+阅读 · 2020年7月26日
【KDD2020】基于知识图谱的语义融合改进会话推荐系统，Improving Conversational Recommender Systems via Knowledge Graph based Semantic Fusion
【KDD2020】基于知识图谱的语义融合改进会话推荐系统，Improving Conversational Recommender Systems via Knowledge Graph based Semantic Fusion
专知会员服务
89+阅读 · 2020年7月9日
KG-BERT：基于BERT的知识图谱补全，KG-BERT: BERT for Knowledge Graph Completion
KG-BERT：基于BERT的知识图谱补全，KG-BERT: BERT for Knowledge Graph Completion
专知会员服务
193+阅读 · 2020年5月31日
【ICLR2020】利用图神经网络进行高效概率逻辑推理，Efficient Probabilistic Logic Reasoning with Graph Neural Networks
【ICLR2020】利用图神经网络进行高效概率逻辑推理，Efficient Probabilistic Logic Reasoning with Graph Neural Networks
专知会员服务
111+阅读 · 2020年1月29日
【NLP| 推荐文章】用图递归网络解决图的NLP问题（Tackling Graphical NLP problems with Graph Recurrent Networks）
【NLP| 推荐文章】用图递归网络解决图的NLP问题（Tackling Graphical NLP problems with Graph Recurrent Networks）
专知会员服务
32+阅读 · 2019年11月24日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
47+阅读 · 2019年10月17日
【IJCAI 2019 Tutorials】基于概率图模型的医疗决策分析（Medical decision analysis with probabilistic graphical models）
【IJCAI 2019 Tutorials】基于概率图模型的医疗决策分析（Medical decision analysis with probabilistic graphical models）
专知会员服务
44+阅读 · 2019年8月10日
热门VIP内容
相关资讯
计算机 | 入门级EI会议ICVRIS 2019诚邀稿件
计算机 | 入门级EI会议ICVRIS 2019诚邀稿件
Call4Papers
10+阅读 · 2019年6月24日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
IEEE | DSC 2019诚邀稿件 (EI检索)
IEEE | DSC 2019诚邀稿件 (EI检索)
Call4Papers
10+阅读 · 2019年2月25日
Ray RLlib: Scalable 降龙十八掌
Ray RLlib: Scalable 降龙十八掌
CreateAMind
9+阅读 · 2018年12月28日
条件GAN重大改进！cGANs with Projection Discriminator
条件GAN重大改进！cGANs with Projection Discriminator
CreateAMind
8+阅读 · 2018年2月7日
推荐｜深度强化学习聊天机器人（附论文）！
推荐｜深度强化学习聊天机器人（附论文）！
全球人工智能
4+阅读 · 2018年1月30日
gan生成图像at 1024² 的 代码 论文
gan生成图像at 1024² 的 代码 论文
CreateAMind
4+阅读 · 2017年10月31日
【推荐】视频目标分割基础
【推荐】视频目标分割基础
机器学习研究会
9+阅读 · 2017年9月19日
Auto-Encoding GAN
Auto-Encoding GAN
CreateAMind
7+阅读 · 2017年8月4日
【今日新增】IEEE Trans.专刊截稿信息8条
【今日新增】IEEE Trans.专刊截稿信息8条
Call4Papers
7+阅读 · 2017年6月29日
相关论文
Strengthening Probabilistic Graphical Models: The Purge-and-merge Algorithm
Arxiv
0+阅读 · 2021年11月9日
Analyzing and Improving Fault Tolerance of Learning-Based Navigation Systems
Arxiv
0+阅读 · 2021年11月9日
Solving PDE-constrained Control Problems using Operator Learning
Arxiv
0+阅读 · 2021年11月9日
A simple and versatile topology optimization formulation for flexure synthesis
A simple and versatile topology optimization formulation for flexure synthesis
Arxiv
0+阅读 · 2021年11月8日
Network Migration Problem: A Logic-based Benders Decomposition Approach Driven by Column Generation and Constraint Programming
Network Migration Problem: A Logic-based Benders Decomposition Approach Driven by Column Generation and Constraint Programming
Arxiv
1+阅读 · 2021年11月8日
Programming Puzzles
Arxiv
0+阅读 · 2021年11月6日
Neural Approaches to Conversational AI
Neural Approaches to Conversational AI
Arxiv
8+阅读 · 2018年12月13日
A Dual Approach to Scalable Verification of Deep Networks
A Dual Approach to Scalable Verification of Deep Networks
Arxiv
3+阅读 · 2018年8月3日
CuLDA_CGS: Solving Large-scale LDA Problems on GPUs
Arxiv
3+阅读 · 2018年3月13日
The Search Problem in Mixture Models
Arxiv
3+阅读 · 2018年2月24日
Top
微信扫码咨询专知VIP会员
Top