首页>外文会议>International Conference on Theory and Applications of Satisfiability Testing

International Conference on Theory and Applications of Satisfiability Testing

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.MPIDepQBF: Towards Parallel QBF Solving without Knowledge Sharing

机译：MPIDEPQBF：没有知识共享的平行QBF解决
- 作者：Charles Jordan;Lukasz Kaiser;Florian Lonsing;Martina Seidl
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2014年
2.Impact of Community Structure on SAT Solver Performance

机译：社区结构对SAT求解性能的影响
- 作者：Zack Newsham;Vijay Ganesh;Sebastian Fischmeister;Gilles Audemard;Laurent Simon
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2014年
3.Solving MAXSAT and #SAT on Structured CNF Formulas

机译：解决结构化CNF公式上的MaxSAT和#SAT
- 作者：Sigve Hortemo Saether;Jan Arne Telle;Martin Vatshelle
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2014年
4.Unified Characterisations of Resolution Hardness Measures

机译：解决硬度措施的统一特征
- 作者：Olaf Beyersdorff;Oliver Kullmann
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2014年
5.Lazy Clause Exchange Policy for Parallel SAT Solvers

机译：懒人子句交换政策，并行SAT SOLVERS
- 作者：Gilles Audemard;Laurent Simon
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2014年
6.MUS Extraction Using Clausal Proofs

机译：亩用字体证据提取
- 作者：Anton Belov;Marijn J. H. Heule;Joao Marques-Silva
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2014年
7.An Ising Model Inspired Extension of the Product-Based MP Framework for SAT

机译：一个课程模型启发了基于产品的MP框架的扩展
- 作者：Oliver Gableske
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2014年
8.Approximating Highly Satisfiable Random 2-SAT

机译：近似高度满足的随机2-SAT
- 作者：Andrei A. Bulatov;Cong Wang
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2014年
9.A SAT Attack on the Erdos Discrepancy Conjecture

机译：SAT攻击erdos差异猜想
- 作者：Boris Konev;Alexei Lisitsa
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2014年
10.A (Biased) Proof Complexity Survey for SAT Practitioners

机译：卫星从业者的（偏见）证明复杂性调查
- 作者：Jakob Nordstrom
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2014年
11.Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction

机译：通过宽度降低和贪婪限制解决Max SAT的稀疏实例
- 作者：Takayuki Sakai;Kazuhisa Seto;Suguru Tamaki
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2014年
- Exponential time algorithm;
- Polynomial space;
- Weight;
- Hard constraint;
- Counting;
12.Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions

机译：解决多项式限制和扩展的最小模型引导方法
- 作者：Daniel Larraz;Albert Oliveras;Enric Rodriguez-Carbonell;Albert Rubio
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2014年
13.Dominant Controllability Check Using QBF-Solver and Netlist Optimizer

机译：使用QBF-Solver和NetList Optimizer检查主导控制性
- 作者：Tamir Heyman;Dan Smith;Yogesh Mahajan;Lance Leong;Husam Abu-Haimed
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2014年
- Controllability;
- QBF;
- QBF Preprocessor;
- Netlist Optimizer;
14.QBF Resolution Systems and Their Proof Complexities

机译：QBF分辨率系统及其证明复杂性
- 作者：Valeriy Balabanov;Magdalena Widl;Jie-Hong R. Jiang
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2014年
15.Fixed-Parameter Tractable Reductions to SAT

机译：固定参数易于减少到饱和
- 作者：Ronald de Haan;Stefan Szeider
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2014年
16.Hypergraph Acyclicity and Propositional Model Counting

机译：超图非裂缝和命题模型计数
- 作者：Florent Capelli;Arnaud Durand;Stefan Mengel
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2014年
17.Conditional Lower Bounds for Failed Literals and Related Techniques

机译：有条件的文字和相关技术的下限
- 作者：Matti Jarvisalo;Janne H. Korhonen
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2014年
18.Variable Dependencies and Q-Resolution

机译：可变依赖性和Q分辨率
- 作者：Friedrich Slivovsky;Stefan Szeider
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2014年
19.Ultimately Incremental SAT

机译：最终逐步汇编
- 作者：Alexander Nadel;Vadim Ryvchin;Ofer Strichman
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2014年
20.Open-WBO: A Modular MaxSAT Solver

机译：Open-WBO：模块化MaxSat求解器
- 作者：Ruben Martins;Vasco Manquinho;Ines Lynce
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2014年
21.Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask)

机译：你总是想知道被封锁的一切（但害怕问）
- 作者：Tomas Balyo;Andreas Frohlich;Marijn J. H. Heule;Armin Biere
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2014年
22.On Computing Preferred MUSes and MCSes

机译：在计算首选的缪斯和MCSES
- 作者：Joao Marques-Silva;Alessandro Previti
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2014年
23.DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs

机译：DRAT-TRIM：使用富有表现力的字母证明的高效检查和修剪
- 作者：Nathan Wetzler;Marijn J. H. Heule;Warren A. Hunt Jr.
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2014年
24.Cores in Core Based MaxSat Algorithms: An Analysis

机译：基于核心的MAXSAT算法中的核心：分析
- 作者：Fahiem Bacchus;Nina Narodytska
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2014年
25.Community Branching for Parallel Portfolio SAT Solvers

机译：平行投资组合的社区分支SAT求解器
- 作者：Tomohiro Sonobe;Shuya Kondoh;Mary Inaba
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2014年
- Parallel SAT solver;
- Portfolio;
- Diversification;
- Decision;
- Community detection;
26.Fast DQBF Refutation

机译：快速DQBF驳斥
- 作者：Bernd Finkbeiner;Leander Tentrup
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2014年
27.Automatic Evaluation of Reductions between NP-Complete Problems

机译：自动评估NP完全问题之间的减少
- 作者：Carles Creus;Pau Fernandez;Guillem Godoy
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2014年
- SAT application;
- Reductions;
- NP-completeness;
- Self-learning;
28.Simplifying Pseudo-Boolean Constraints in Residual Number Systems

机译：简化残差系统中的伪布尔约束
- 作者：Yoav Fekete;Michael Codish
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2014年
29.Proof Complexity and the Kneser-Lovasz Theorem

机译：证明复杂性和Kneser-Lovasz定理
- 作者：Gabriel Istrate;Adrian Craciun
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2014年
30.On Reducing Maximum Independent Set to Minimum Satisfiability

机译：减少最大独立设定到最小可靠性
- 作者：Alexey Ignatiev;Antonio Morgado;Joao Marques-Silva
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2014年
31.Long Proofs of (Seemingly) Simple Formulas

机译：（看似）简单的公式的长号
- 作者：Mladen Miksa;Jakob Nordstrom
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2014年
32.Improving Implementation of SLS Solvers for SAT and New Heuristics for k-SAT with Long Clauses

机译：改善SLS求解器的SAT和新的启发式储存k-sat与长条款
- 作者：Adrian Balint;Armin Biere;Andreas Frohlich;Uwe Schoning
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2014年
33.Detecting Cardinality Constraints in CNF

机译：检测CNF中的基数约束
- 作者：Armin Biere;Daniel Le Berre;Emmanuel Lonca;Norbert Manthey
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2014年
34.Minimal Unsatisfiability and Minimal Strongly Connected Digraphs

机译：最小不起履行和最小的强连接的数字
- 作者：Hoda Abbasizanjani;Oliver Kullmann
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2018年
35.Exploiting Treewidth for Projected Model Counting and Its Limits

机译：利用TreeWidth进行预计模型计数及其限制
- 作者：Johannes K. Fichte;Markus Hecher;Michael Morak;Stefan Woltran
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2018年
36.Machine Learning-Based Restart Policy for CDCL SAT Solvers

机译：用于CDCL SAT索盘的机器基于学习的重启策略
- 作者：Jia Hui Liang;Chanseok Oh;Minu Mathew;Ciza Thomas;Chunxiao Li;Vijay Ganesh
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2018年
37.XOR-Satisfiability Set Membership Filters

机译：XOR可满足的设置成员资格过滤器
- 作者：Sean A. Weaver;Hannah J. Roberts;Michael J. Smith
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2018年
38.PySAT: A Python Toolkit for Prototyping with SAT Oracles

机译：PYSAT：用于坐姿的Python工具包，用于坐姿oracles
- 作者：Alexey Ignatiev;Antonio Morgado;Joao Marques-Silva
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2018年
39.Using Combinatorial Benchmarks to Probe the Reasoning Power of Pseudo-Boolean Solvers

机译：使用组合基准探讨伪布尔求解器的推理力量
- 作者：Jan Elffers;Jesus Giraldez-Cru;Jakob Nordstrom;Marc Vinyals
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2018年
40.QBF as an Alternative to Courcelle's Theorem

机译：QBF作为驻队列定理的替代品
- 作者：Michael Lampis;Stefan Mengel;Valia Mitsou
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2018年
41.Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization

机译：用增量线性化进行求解非线性整数算术的试验
- 作者：Alessandro Cimatti;Alberto Griggio;Ahmed Irfan;Marco Roveri;Roberto Sebastiani
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2018年
42.Sharpness of the Satisfiability Threshold for Non-uniform Random k-SAT

机译：无均匀随机K-SAT的可满足阈值的清晰度
- 作者：Tobias Friedrich;Ralf Rothenberger
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2018年
43.Solving MaxSAT with Bit-Vector Optimization

机译：用位矢量优化解决MaxSAT
- 作者：Alexander Nadel
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2018年
44.Symmetries of Quantified Boolean Formulas

机译：量化布尔公式的对称性
- 作者：Manuel Kauers;Martina Seidl
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2018年
45.Local Soundness for QBF Calculi

机译：QBF Calculi的局部声音
- 作者：Martin Suda;Bernhard Gleiss
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2018年
46.Constrained Image Generation Using Binarized Neural Networks with Decision Procedures

机译：使用二值化神经网络与决策程序的约束图像生成
- 作者：Svyatoslav Korneev;Nina Narodytska;Luca Pulina;Armando Tacchella;Nikolaj Bjorner;Mooly Sagiv
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2018年
47.In Between Resolution and Cutting Planes: A Study of Proof Systems for Pseudo-Boolean SAT Solving

机译：在分辨率和切割飞机之间：伪布尔卫星求解的证明系统研究
- 作者：Marc Vinyals;Jan Elffers;Jesus Giraldez-Cru;Stephan Gocht;Jakob Nordstrom
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2018年
48.Chronological Backtracking

机译：按时间顺序回溯
- 作者：Alexander Nadel;Vadim Ryvchin
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2018年
49.Approximately Propagation Complete and Conflict Propagating Constraint Encodings

机译：大约传播完整和冲突传播约束编码
- 作者：Rudiger Ehlers;Francisco Palau Romero
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2018年
50.Dependency Quantified Boolean Formulas: An Overview of Solution Methods and Applications

机译：依赖性量化布尔公式：解决方案方法和应用的概述
- 作者：Christoph Scholl;Ralf Wimmer
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2018年
51.Circuit-Based Search Space Pruning in QBF

机译：基于电路的搜索空间在QBF中修剪
- 作者：Mikolas Janota
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2018年
52.Fast Sampling of Perfectly Uniform Satisfying Assignments

机译：快速采样完美均匀的令人满意的作业
- 作者：Dimitris Achlioptas;Zayd S. Hammoudeh;Panos Theodoropoulos
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2018年
53.Dynamic Polynomial Watchdog Encoding for Solving Weighted MaxSAT

机译：求解加权MaxSAT的动态多项式看门狗编码
- 作者：Tobias Paxian;Sven Reimer;Bernd Becker
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2018年
54.Finding All Minimal Safe Inductive Sets

机译：找到所有最小的安全诱导套
- 作者：Ryan Berryhill;Alexander Ivrii;Andreas Veneris
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2018年
55.Polynomial-Time Validation of QCDCL Certificates

机译：QCDCL证书的多项式验证
- 作者：Tomas Peitl;Friedrich Slivovsky;Stefan Szeider
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2018年
56.Fast and Flexible Probabilistic Model Counting

机译：快速灵活的概率模型计数
- 作者：Dimitris Achlioptas;Zayd Hammoudeh;Panos Theodoropoulos
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2018年
57.Centrality-Based Improvements to CDCL Heuristics

机译：基于中心的CDCL启发式的改进
- 作者：Sima Jamali;David Mitchell
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2018年
58.Effective Use of SMT Solvers for Program Equivalence Checking Through Invariant-Sketching and Query-Decomposition

机译：通过不变素描和查询分解，有效地使用SMT求解器进行程序等价检查
- 作者：Shubhani Gupta;Aseem Saxena;Anmol Mahajan;Sorav Bansal
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2018年
59.Cops-Robber Games and the Resolution of Tseitin Formulas

机译：警察 - 强盗游戏和Tseitin公式的分辨率
- 作者：Nicola Galesi;Navid Talebanfard;Jacobo Toran
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2018年
60.ALIAS: A Modular Tool for Finding Backdoors for SAT

机译：别名：用于查找坐姿的模块化工具
- 作者：Stepan Kochemazov;Oleg Zaikin
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2018年
61.Encodings of Problems in Effectively Propositional Logic

机译：有效命题逻辑中的问题编码
- 作者：Juan Antonio Navarro-Perez;Andrei Voronkov
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2007年
62.Verifying Propositional Unsatisfiability: Pitfalls to Avoid

机译：验证命题税收：避免陷阱
- 作者：Allen Van Gelder
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2007年
63.Breaking Symmetries in SAT Matrix Models

机译：在SAT Matrix模型中打破对称性
- 作者：Ines Lynce;Joao Marques-Silva
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2007年
64.Inversion Attacks on Secure Hash Functions Using sat Solvers

机译：使用SAT求解器对安全散列函数的反转攻击
- 作者：Debapratim De;Abishek Kumarasubramanian;Ramarathnam Venkatesan
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2007年
65.Efficient Circuit to CNF Conversion

机译：CNF转换的高效电路
- 作者：Panagiotis Manolios;Daron Vroon
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2007年
66.A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories

机译：在卫星模型理论中计算小型不匹配核心简单而灵活的方式
- 作者：Alessandro Cimatti;Alberto Griggio;Roberto Sebastiani
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2007年
67.Circuit Based Encoding of CNF Formula

机译：基于电路的CNF公式编码
- 作者：Gilles Audemard;Lakhdar Sais
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2007年
68.Matched Formulas and Backdoor Sets

机译：匹配的公式和后门套装
- 作者：Stefan Szeider
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2007年
69.A Lightweight Component Caching Scheme for Satisfiability Solvers

机译：用于可满足求解器的轻量级分量缓存方案
- 作者：Knot Pipatsrisawat;Adnan Darwiche
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2007年
70.Mapping CSP into Many-Valued SAT

机译：将CSP映射到许多值的SAT中
- 作者：Carlos Ansotegui;Maria Luisa Bonet;Jordi Levy;Felip Manya
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2007年
71.Towards a Better Understanding of the Functionality of a Conflict-Driven SAT Solver

机译：更好地了解冲突驱动的SAT求解器的功能
- 作者：Nachum Dershowitz;Ziyad Hanna;Alexander Nadel
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2007年
72.Short XORs for Model Counting: From Theory to Practice

机译：用于模型计数的短XORS：从理论到实践
- 作者：Carla P. Gomes;Joerg Hoffmann;Ashish Sabharwal;Bart Selman
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2007年
73.Sensor Deployment for Failure Diagnosis in Networked Aerial Robots: A Satisfiability-Based Approach

机译：传感器部署用于网络空中机器人的失效诊断：基于可靠性的方法
- 作者：Fadi A. Aloul;Nagaragan Kandasamy
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2007年
- 0-1 ILP;
- SAT;
- UAV networks;
- fault diagnosis;
- distributed systems;
74.Improved Lower Bounds for Tree-Like Resolution over Linear Inequalities

机译：在线性不平等上改善树状分辨率的下界
- 作者：Arist Kojevnikov
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2007年
- propositional proof complexity;
- integer programming;
- cutting planes;
75.Satisfiability with Exponential Families

机译：与指数系列的可靠性
- 作者：Dominik Scheder;Philipp Zumstein
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2007年
- satisfiability;
- context-free grammars;
- VC-dimension;
- NP-hardness;
- polynomial circuits;
76.Partial Max-SAT Solvers with Clause Learning

机译：部分MAX-SAT求解器与条款学习
- 作者：Josep Argelich;Felip Manya
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2007年
77.Combining Adaptive Noise and Look-Ahead in Local Search for SAT

机译：在本地搜索SAT中结合自适应噪声并查看
- 作者：Chu Min Li;Wanxia Wei;Harry Zhang
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2007年
78.Variable Dependency in Local Search: Prevention Is Better Than Cure

机译：当地搜索中的可变依赖性：预防优于治疗
- 作者：Steven Prestwich
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2007年
79.Horn Upper Bounds and Renaming

机译：喇叭上限和重命名
- 作者：Marina Langlois;Robert H. Sloan;Gyorgy Turan
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2007年
80.Polynomial Time SAT Decision for Complementation-Invariant Clause-Sets, and Sign-non-Singular Matrices

机译：多项式时间SAT决定互补 - 不变子句 - 集和符号非奇异矩阵
- 作者：Oliver Kullmann
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2007年
81.Algorithms for Variable-Weighted 2-SAT and Dual Problems

机译：可变加权2-SAT和双问题的算法
- 作者：Stefan Porschen;Ewald Speckenmeyer
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2007年
- weighted satisfiability;
- optimization problem;
- NP-hardness;
- edge cover;
- graph factor;
- perfect matching;
82.Backdoor Sets of Quantified Boolean Formulas

机译：后门套装量化布尔公式
- 作者：Marko Samer;Stefan Szeider
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2007年
83.Minimum 2CNF Resolution Refutations in Polynomial Time

机译：多项式时间中的最低2CNF分辨率反驳
- 作者：Joshua Buresh-Oppenheim;David Mitchell
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2007年
84.A First Step Towards a Unified Proof Checker for QBF

机译：迈向QBF的统一证明检查器的第一步
- 作者：Toni Jussila;Armin Biere;Carsten Sinz;Daniel Kroning;Christoph M. Wintersteiger
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2007年
85.Fault Localization and Correction with QBF

机译：QBF故障定位和校正
- 作者：Stefan Staber;Roderick Bloem
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2007年
86.Solving Multi-objective Pseudo-Boolean Problems

机译：解决多目标伪布尔问题
- 作者：Martin Lukasiewycz;Michael GlaB;Christian Haubelt;Jurgen Teich
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2007年
87.From Idempotent Generalized Boolean Assignments to Multi-bit Search

机译：从IDEMPotent广义布尔分配到多位搜索
- 作者：Marijn Heule;Hans van Maaren
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2007年
88.Effective Incorporation of Double Look-Ahead Procedures

机译：有效地融入双向前瞻性程序
- 作者：Marijn Heule;Hans van Maaren
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2007年
89.On the Boolean Connectivity Problem for Horn Relations

机译：关于喇叭关系的布尔连接问题
- 作者：Kazuhisa Makino;Suguru Tamaki;Masaki Yamamoto
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2007年
90.Formalizing Dangerous SAT Encodings

机译：正式化危险的SAT编码
- 作者：Alexander Hertel;Philipp Hertel;Alasdair Urquhart
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2007年
91.Bounded Universal Expansion for Preprocessing QBF

机译：预处理QBF的有界普遍扩展
- 作者：Uwe Bubeck;Hans Kleine Buning
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2007年
92.Applying Logic Synthesis for Speeding Up SAT

机译：应用逻辑合成加速SAT
- 作者：Niklas Een;Alan Mishchenko;Niklas Sorensson
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2007年
93.Dynamically Partitioning for Solving QBF

机译：动态分区求解QBF
- 作者：Horst Samulowitz;Fahiem Bacchus
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2007年
94.MiniMaxSat: A New Weighted Max-SAT Solver

机译：minimaxsat：一个新的加权MAX-SAT求解器
- 作者：Federico Heras;Javier Larrosa;Albert Oliveras
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2007年
95.SAT Solving for Termination Analysis with Polynomial Interpretations

机译：用多项式解释解决终止分析
- 作者：Carsten Fuhs;Jurgen Giesl;Aart Middeldorp;Peter Schneider-Kamp;Rene Thiemann;Harald Zankl
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2007年
96.Sequential Encodings from Max-CSP into Partial Max-SAT

机译：Max-CSP中的顺序编码分为Partial Max-SAT
- 作者：Josep Argelich;Alba Cabiscol;Ines Lynce;Felip Manya
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2009年
97.Nonlinear Pseudo-Boolean Optimization: Relaxation or Propagation?

机译：非线性伪布尔 - 优化：放松或传播？
- 作者：Timo Berthold;Stefan Heinz;Marc E. Pfetsch
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2009年
98.Improved Conflict-Clause Minimization Leads to Improved Propositional Proof Traces

机译：改进的冲突 - 子句最小化导致改进的命题迹象
- 作者：Allen Van Gelder
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2009年
99.Solving SAT for CNF Formulas with a One-Sided Restriction on Variable Occurrences

机译：求解CNF公式，对可变事件的单面限制
- 作者：Daniel Johannsen;Igor Razgon;Magnus Wahlstrom
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2009年
100.Encoding Treewidth into SAT

机译：将树木宽度编码为sat
- 作者：Marko Samer;Helmut Veith
- 会议名称：《International Conference on Theory and Applications of Satisfiability Testing》 | 2009年