Report on the SAT 2007 Conference on Theory and Applications of Satisfiability Testing

Report on the SAT 2007 Conference on Theory and Applications of Satisfiability Testing

Bibliographic Details
Main Authors:	Marques-Silva, Joao (Author), Sakallah, Karem (Author), Lynce, Ines (Author)
Format:	Article
Language:	English
Published:	2007.
Subjects:	Article
Online Access:	Get fulltext

Similar Items

Haplotype Inference with Boolean Satisfiability
by: Lynce, Ines, et al.
Published: (2008)

Random Backtracking in Backtrack Search Algorithms for Satisfiability
by: Lynce, Ines, et al.
Published: (2007)

Efficient data structures for backtrack search SAT solvers
by: Lynce, Ines, et al.
Published: (2005)

GRASP-A Search Algorithm for Propositional Satisfiability
by: Marques-Silva, J. P., et al.
Published: (1999)

Satisfiability Threshold for Random Regular nae-sat
by: Ding, Jian, et al.
Published: (2017)

An Overview of Backtrack Search Satisfiability Algorithms
by: Lynce, I., et al.
Published: (2003)

MeowSAT: A Word-Level Satisfiability Solver Based on Eager Integration of Theories
by: Yu-Yun Dai, et al.
Published: (2013)

Satisfiability Models and Algorithms for Circuit Delay Computation
by: Silva, L. Guerra, et al.
Published: (2002)

Heuristic-Based Backtracking Relaxation for Propositional Satisfiability
by: Bhalla, A., et al.
Published: (2005)

Satisfiability modulo relations: theory and applications
by: Meng, Baoluo
Published: (2018)

Model Checking with Boolean Satisfiability
by: Marques-Silva, Joao
Published: (2008)

Uniquely Satisfiable <i>d</i>-Regular (<i>k</i>,<i>s</i>)-SAT Instances
by: Zufeng Fu, et al.
Published: (2020-05-01)

SpecSatisfiabilityTool: A tool for testing the satisfiability of specifications on XML documents
by: Javier Albors, et al.
Published: (2015-01-01)

SAT modulo monotonic theories
by: Bayless, Sam
Published: (2017)

Interpolant Learning and Reuse in SAT-Based Model Checking
by: Marques-Silva, Joao
Published: (2007)

Solving Satisfiability in Combinational Circuits
by: Marques-Silva, J. P., et al.
Published: (2003)

Finite model finding in satisfiability modulo theories
by: Reynolds, Andrew Joseph
Published: (2013)

Satisfiability-Based Algorithms for Boolean Optimization
by: Manquinho, V., et al.
Published: (2004)

Report from the PV 2007 Conference, DLR Oberpfaffenhofen, October 9–11, 2007
by: Alexander Ball
Published: (2007-12-01)

Wireless and Satellite Systems, 7th International Conference, WiSATS 2015
by: Pillai, Prashant, et al.
Published: (2016)

APPLICATIONS OF SATISFIABILITY IN SYNTHESIS OF RECONFIGURABLE COMPUTERS
by: SIVA, SUBRAMANYAN D.
Published: (2002)

The Testing Analysis of Cyclic Combinational Circuits and its Application on SAT-based Test Generation
by: Chen, Liang Yuan, et al.
Published: (2016)

Satisfiability vs. Finite Satisfiability in Elementary Modal Logics
by: Jakub Michaliszyn, et al.
Published: (2012-10-01)

Functional test generation based on word -level satisfiability
by: Zeng, Zhihong
Published: (2003)

Satisfying journey!
by: Balaji Manohar
Published: (2015-01-01)

Unbalanced but Satisfied?
by: Asha N Shenoi
Published: (2016-01-01)

Structure in satisfiability
by: Gregory, Peter
Published: (2008)

Applications of a CloudSat-TRMM and CloudSat-GPM Satellite Coincidence Dataset
by: F. Joseph Turk, et al.
Published: (2021-06-01)

Use of Pain Threshold Reports to Satisfy Social Needs
by: Geoff MacDonald
Published: (2008-01-01)

The Satisfiability Problem for Boolean Set Theory with a Choice Correspondence
by: Domenico Cantone, et al.
Published: (2017-09-01)

Undecidability of finite satisfiability and characterization of NP in finite model theory
by: Block, Max
Published: (2015)

A Framework for Autonomous Generation of Strategies in Satisfiability Modulo Theories
by: Galvez Ramirez, Nicolas
Published: (2018)

AXMEDIS 2007 Conference Proceedings
Published: (2007)

Selection of Satisfied Association Rules via Aggregation of Linguistic Satisfied Degrees
by: Fangling Ren, et al.
Published: (2019-01-01)

Testing the satisfiability of tree pattern queries with node identity constraints
by: Gobbert, Barbara Jane
Published: (2007)

The Polish National Scientific Conference “Baltic 2015” and the inauguration of the “SatBałtyk” satellite monitoring system
by: Jerzy Dera, et al.
Published: (2016-01-01)

Improving WalkSAT for Random 3-SAT Problems
by: Huimin Fu, et al.
Published: (2020-02-01)

STARE CubeSat Communications Testing, Simulation and Analysis
by: Le Gaux, Clyde R.,III
Published: (2012)

MajorSat: A SAT Solver to Majority Logic
by: Chou, Yu Min, et al.
Published: (2015)

What Are People Saying When They Report They Are Happy Or Life Satisfied
by: Americo Baptista, et al.

Cannot write session to /tmp/vufind_sessions/sess_ci1rd6mclrt20monajclm78d2q