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


• generic signal


• orléans


• laboratoire d'informatique fondamentale d'orléans

Sujets

• Orleans

Informations

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

Extrait

FRANCEComputingd'InfowithMasignals:yaCgenericSenotandFmol?ans,dulawrOrsDurand-Lose,ignoalmmachined'Orl?ans,foOrasatisabilitndyrkshoppLIFroblems12011/Maxime45LabComputingratoirewithrsignals:atiqueaondamentalegenericUniversitandofmordulaOrl?rns,signal2machineinternationalfoorNWsatisabilit'11yO,pl?ansroblems24DenysyDuchier,J?r?meSignalComputingMachineswith/signals:Ta4generic1andSolvingmoadula3r2s45ignSignalal2machineQ-SAfowithrGenericsatisabilitMachineyComplexitiespConclusionroblems3ComputingMachinewith2signals:rithmahinesgenericwithandImplementingmoComputingdulasignalrandsQ-SAignGenericalQ-SAmachineTfosignalrthesatisabilit4ymacpDenitionsroblemsexamples3Solving/T45aSignalSignalMachinesProblem1TSignalQ-SAMachinesalgoFonrommachinesceinllulatreerComplexitiesautomataConclusiontorithmComputing2withautomatasignals:Machinea3generichinesandwithmoImplementingdulaComputingrllulassignalignandalQ-SAmachineGenericfoQ-SArTsatisabilitsignalythep4roblemsr4to/mac45DenitionsSignalexamplesMachinesSolvingFTromacellulaSignalrProblemautomataTtoQ-SAsignalalgomachineson1machinesSignalinMachinestreeFComplexitiesromConclusionceAnalyzingComputingFwith/signals:automataa[Das,genericSignalandcellulamosignaldulawithrMitchells45ignMachinesalrommachinerfotormachinessatisabilitCAysignalspCrutcheld,roblems95]5DesigningComputingFwithFiringsignals:automataaGoto'sgeneric[Goto66]andcellulamosignaldulawithrtosSynchronizationignMachinesalrommachinerfotormachinessatisabilitCAysignalspsolutionroblemsthe6Squad/Problem45SignalDesigningComputingFwith196signals:automataaGeneratinggenericSignalandcellulamosignaldulawithrrimessFig.ignMachinesalrommachinerfotormachinessatisabilitCAysignalspproblems[Fischer,65,/2]45)
Z R
toaromgeneric(andommo(dulatosignals:rFsrignmachinesal)machine(foSpacerComputingsatisabilitdiscreteyspace-timepcellularoblemsautomata7signal/Time45continuousSignalSpacewith)MachinesTimeFarom)cellula(r)automataFtoasignalmachinesr
N
+
RZ R
)
signaladiscretegeneric)andcellulamocontinuousdulatosignals:rspace-timesautomataignTimealSpacemachine(foSpacewithrromsatisabilitFyomprroblemsto7machines/(45)Signal(ComputingMachinesTimeFarom)cellula(r)automataFtoasignalmachinesr
N
+
RComputingComputingwithwithhinessignals:Implementingaautomatageneric2andMachinemorithmdula3rsignalsandignQ-SAalGenericmachineQ-SAfoTrsignalsatisabilitthey4ptoroblemsmac8Denitions/examples45SolvingSignalTMachinesaDenitionsSignalandProblemexamTplesQ-SA1algoSignalonMachinesmachinesFinromtreeceComplexitiesllulaConclusionr