Computing with signals: a generic and modular signal machine for satisfiability problems

Description

Computing with signals: a generic and modular signal machine for satisfiability problems 1 / 45 Computing with signals: a generic and modular signal machine for satisfiability problems Denys Duchier, Jérôme Durand-Lose, Maxime Senot Laboratoire d'Informatique Fondamentale d'Orléans, University of Orléans, Orléans, FRANCE 2 nd international workshop NWC '11 LIFO, Orléans 24 May 2011

• signal machines


• international workshop


• orléans


• laboratoire d'informatique fondamentale d'orléans

Sujets

• Orleans

Informations

• Publié par: pefav
• Nombre de lectures: 12
• Langue: English

Extrait

Computingwithsignals:ar2ygenericofand'11moLabdulaondamentalerOrl?soignl?ansalMaximemachineratoirefoatiquerUniversitsatisabilitryns,pinternationalroblemsNW1O,/2445Durand-Lose,ComputingSenotwithosignals:d'InfoamgenericFandd'Orl?ans,moydulaOrl?ans,signalamachineFRANCEfondrwsatisabilitrkshopyCpLIFroblemsOrDenysDuchier,MaJ?r?me2011Computingwithsignals:a2345genericband2moSignaldulaQ-SArgeometricals4ign/al1machineMachinesfoSolvingrTsatisabilityycomputationpComplexitiesroblemsConclusionComputingwithsignals:aQ-SA4SolvinggenericsignalandDenitionsmoydulaTrthesmacignexamplesalTmachinecomputationfoImplementingrrithmsatisabilitComputingy3psignalroblemshines3and/245Q-SASignalbMachinesgeometrical1ProblemSignalTMachinesQ-SAFalgoromoncemachinesllulainrtreeautomataComplexitiestoConclusionComputingwithsignals:aSolvingsignaltogenericQ-SAand4moDenitionsdulayrTstheignralmacmachineexamplesfoTrcomputationsatisabilitImplementingyrithmpComputingroblems34llula/automata45signalSignalhinesMachinesandF2romQ-SAcellulabrgeometricalautomataProblemtoTsignalQ-SAmachinesalgo1onSignalmachinesMachinesinFtreeromComplexitiesceConclusionComputingwithsignals:FAnalyzing/aautomatageneric[Das,andSignalmocelluladulasignalrwithsMitchellign45alMachinesmachineromforrtosatisabilitmachinesyCApsignalsroblemsCrutcheld,595]Computingwithsignals:aromCASquadgenerictoandsolutionmoMachinesdularrmachinesssignalsignthealProblemmachineFfocellularautomatasatisabilitsignalyDesigningpwithroblemsGoto's6to/Firing45SynchronizationSignal[Goto66]Computingwithsignals:FDesigning196aautomatagenericGeneratingandSignalmocelluladulasignalrwithsrimesignFig.alMachinesmachineromforrtosatisabilitmachinesyCApsignalsroblemsp6[Fischer,/5,452])
Z R
agenericdiscreter)andFmomachinesdula)signals:rsomigntoal(machine(fo(withSpaceromrsatisabilitmachinesycontinuouspcellularoblemsautomata7signal/Time45aSignalSpaceComputingMachinesFTimeromtocellula)r(automata)toFsignalarspace-time
N
+
RZ R
)
agenericandmowithmachines)dularr)sdiscreteignomaltomachine(fo(signals:(romSpaceFrsatisabilitmachinesycontinuouspcellularoblemsautomata7signal/Time45aSignalSpaceComputingMachinesFTimeromtocellula)r(automata)toFsignalarspace-time
N
+
RComputingwithsignals:aytheDenitionsgenericTandtomoSolvingdulaQ-SArsignals4ignmacalexamplesmachineTfocomputationrImplementingsatisabilitrithmyComputingp3roblemsautomata8signal/hines45andSignal2MachinesQ-SADenitionsbandgeometricalexamProblemplesT1Q-SASignalalgoMachinesonFmachinesromincetreellulaComplexitiesrConclusion