A Pearl on SAT Solving in Prolog (Logic Programming Newsletter)

机译：序言中的SAT解决方案上的一颗明珠（逻辑编程新闻）

页面导航

摘要
著录项
相似文献
相关主题

摘要

Extended abstract for Association of Logic Programming (ALP) Newsletter on FLOPS/TCS special issue paper on SAT and SMT solving in Prolog.

机译：逻辑编程协会（ALP）新闻通讯的扩展摘要，有关FLOPS / TCS关于Prolog中SAT和SMT解决的特殊问题。

著录项

作者
Howe Jacob M.; King Andy;
展开▼
作者单位

展开▼
年度 2011
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. A pearl on SAT and SMT solving in Prolog [J] . Jacob M. Howe, Andy King Theoretical computer science . 2012,第Null期

机译：Prolog中SAT和SMT解决方案上的一颗明珠
2. Automatic State Machine Reconstruction From Legacy Programmable Logic Controller Using Data Collection and SAT Solver [J] . Chivilikhin Daniil, Patil Sandeep, Chukharev Konstantin, IEEE transactions on industrial informatics . 2020,第12期

机译：使用数据收集和SAT求解器的传统可编程逻辑控制器自动状态机重建
3. Kernel machine to doing logic programming in Hopfield network for solve non horn problem-3sat [J] . Shehab Abdulhabib Saeed Alzaeemi, Saratha Sathasivam, Salaudeen Abdulwaheed Adebayo, MOJ Applied Bionics and Biomechanics . 2017,第1期

机译：内核机器在Hopfield网络中进行逻辑编程以解决非喇叭问题3sat
4. A Pearl on SAT Solving in Prolog [C] . Jacob M. Howe, Andy King Functional and logic programming . 2010

机译：SAT解决方案中的SAT珍珠
5. Computing a Probabilistic Extension of Answer Set Program Language Using ASP and Markov Logic Solvers [D] . Talsania, Samidh. 2017

机译：使用ASP和Markov Logic Solvers计算答案设置程序语言的概率扩展
6. Error metrics determination in functionally approximated circuits using SAT solvers [O] . Sa’ed Abed, Ali A. M. R. Behiry, Imtiaz Ahmad 2020

机译：使用SAT求解器在功能近似电路中的错误测定标准确定
7. A pearl on SAT and SMT solving in Prolog [O] . Howe, J. M., King, A. 2012

机译：Prolog中SAT和SMT解决方案上的一颗明珠

A Pearl on SAT Solving in Prolog (Logic Programming Newsletter)

摘要

著录项

相似文献

相关主题

期刊订阅