Product
Help
Pricing
About
Jobs
Log in
Get started
Source
Add to collection
Theory and Applications of Satisfiability Testing
Source type:
conference
Fully OA:
No
DOAJ:
No
OpenAlex ID:
S4306421062
Energy Provisioning in Wireless Rechargeable Sensor Networks
2011
·
Jiming Chen
, Shibo He
, et al.
·
Theory and Applications of Satisfiability Testing
·
53
Proceedings of the 8th international conference on Theory and Applications of Satisfiability Testing
2005
·
Fahiem Bacchus
, Toby Walsh
·
Theory and Applications of Satisfiability Testing
·
31
Proceedings of the 13th international conference on Theory and Applications of Satisfiability Testing
2010
·
Ofer Strichman
, Stefan Szeider
·
Theory and Applications of Satisfiability Testing
·
18
Proceedings of the 7th international conference on Theory and Applications of Satisfiability Testing
2004
·
Holger H. Hoos
, David G. M. Mitchell
·
Theory and Applications of Satisfiability Testing
·
17
Coprocessor 2.0 - A Flexible CNF Simplifier - (Tool Presentation).
2012
·
Norbert Manthey
·
Theory and Applications of Satisfiability Testing
·
12
CrystalBall: Gazing in the Black Box of SAT Solving.
2019
·
Mate Soos
, Raghav Kulkarni
, et al.
·
Theory and Applications of Satisfiability Testing
·
10
Speedup Techniques Utilized in Modern SAT Solvers An Analysis in the MIRA Environment
2005
·
Matthew Lewis
, Tobias Schubert
, et al.
·
Theory and Applications of Satisfiability Testing
·
8
A Cardinality Solver: More Expressive Constraints for Free - (Poster Presentation).
2012
·
Mark H. Liffiton
, Jordyn C. Maglalang
·
Theory and Applications of Satisfiability Testing
·
4
Mission Control System for KOMPSAT-2 Operations
2006
·
Won Chan Jung
, Byoung-Sun Lee
, et al.
·
Theory and Applications of Satisfiability Testing
·
4
Throughput Optimization for TCP with an Active Proxy in Long-Delay Satellite Environments
2006
·
Hui Wang
, Shigeyuki Osada
, et al.
·
Theory and Applications of Satisfiability Testing
·
4
Threshold raw retrieved contrast in coronagraphs is limited by internal polarization
2015
·
James B. Breckinridge
·
Theory and Applications of Satisfiability Testing
·
3
Exploiting Historical Relationships of Clauses and Variables in Local Search for Satisfiability (Poster Presentation)
2012
·
Chu Min Li
, Wanxia Wei
, et al.
·
Theory and Applications of Satisfiability Testing
·
3
Ka band communication payload system technology of COMS (衛星通信)
2010
·
Seong Pal Lee
, Jin Ho Jo
, et al.
·
Theory and Applications of Satisfiability Testing
·
3
Research and Development on Satellite/Terrestrial Integrated Mobile Communication System for Secured and Safe Society
2009
·
Yoshiyuki Fujino
, Amane Miura
, et al.
·
Theory and Applications of Satisfiability Testing
·
3
PAPR reduction and Pre-distortion techniques against Non-linear Distortion of Satellite WiBro
2008
·
Robin Shrestha
, Myung Hwan Seo
, et al.
·
Theory and Applications of Satisfiability Testing
·
3
Width-based algorithms for SAT and CIRCUIT-SAT (extended abstract)
2003
·
Elizabeth Broering
, Satyanarayana V. Lokam
·
Theory and Applications of Satisfiability Testing
·
3
Nonlinear Compensations for Interference Canceller of Super-Positioning Satellite System
2009
·
Kenta Kubo
, Ryusuke Miyamoto
, et al.
·
Theory and Applications of Satisfiability Testing
·
2
Interference Cancellation Technique based on Discovery of Spreading Codes of Interference Signals and Maximum Correlation Detection for DS-CDMA System
2006
·
Ranga Hettiarachchi
, Mitsuo Yokoyama
, et al.
·
Theory and Applications of Satisfiability Testing
·
2
特別論文 Microwave Applications of Metamaterial Structures (MW・OPE・MWP企画セッション 超精密周期構造がもたらす新機能の発現--マイクロ波・フォトニック結晶とメタマテリアルの開発現状と今後の展開)
2004
·
Christophe Caloz
, T. Itoh
·
Theory and Applications of Satisfiability Testing
·
2
Connexion by BoeingSM-Broadband Satellite Services for Aircraft (2002 Joint Conference on Satellite Communications(JC-SAT2002)--衛星通信技術及び一般)
2002
·
Michael Pisaruck
, Chris McLain
, et al.
·
Theory and Applications of Satisfiability Testing
·
2
QRAT Polynomially Simulates ∀ \text -Exp+Res.
2019
·
Benjamin Kiesl
, Martina Seidl
·
Theory and Applications of Satisfiability Testing
·
1
Simulations for effects on other commmunication antennas by scatterd waves from a ship body for maritime satellite communications
2012
·
Takahiro Aoyagi
, Suzaki Kouhei
, et al.
·
Theory and Applications of Satisfiability Testing
·
1
Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod - (Poster Presentation).
2012
·
Markus Iser
, Mana Taghdiri
, et al.
·
Theory and Applications of Satisfiability Testing
·
1
Research and Development Issues of Satellite Communication Systems for Large Scale Disaster Mitigation (衛星通信)
2011
·
Naoto Kadowaki
, T. Takahashi
, et al.
·
Theory and Applications of Satisfiability Testing
·
1
Studies for simplified optical ground stations by using multimode fibers (衛星通信)
2011
·
Yoshihisa Takayama
, Yoshisada Koyama
, et al.
·
Theory and Applications of Satisfiability Testing
·
1
Show more works
View as search
Works count:
1,140
Citation count:
209
H-index:
7
I10-index:
6
2yr mean citedness:
Year
Topic
Type
